This remarkable little theorem and related phenomena have been the concern of many authors. Apart from the mysterious appearance of the number 14, the attraction of this theorem is that it is simple to state and can be examined and proved using concepts available after any first encounter with topology. The goal of this article is both to provide an original investigation into variations of the...

Let X be an arbitrary category with an (E,M)-factorization structure for sinks. A notion of constant morphism that depends on a chosen class of monomorphisms was previously used to provide a generalization of the connectedness-disconnectedness Galois connection (also called torsion-torsion free in algebraic contexts). This Galois connection was shown to factor throught the class of all closure ...

Let X be an arbitrary category with an (E,M)-factorization structure for sinks. A notion of constant morphism that depends on a chosen class of monomorphisms is introduced. This notion yields a Galois connection that can be seen as a generalization of the classical connectedness-disconnectedness correspondence (also called torsion-torsion free in algebraic contexts). It is shown that this Galoi...

the aim of this paper is to study the categorical relations betweenmatroids, goetschel-voxman’s fuzzy matroids and shi’s fuzzifying matroids.it is shown that the category of fuzzifying matroids is isomorphic to that ofclosed fuzzy matroids and the latter is concretely coreflective in the categoryof fuzzy matroids. the category of matroids can be embedded in that offuzzifying matroids as a simul...

in this paper, by presenting some notions and theorems, we obtaindifferent types of fuzzy topologies. in fact, we obtain somelowen-type  and chang-type fuzzy topologies on general fuzzyautomata. to this end, first we define a kuratowski fuzzy interioroperator which induces a  lowen-type  fuzzy topology on the  set ofstates of a max- min general   fuzzy automaton. also by  provingsome theorems, ...

Results from lattice theory have successfully been applied by several researchers, e.g. [1, 7, 9, 10], to reduce the complexity of verification of distributed computations. The set of all reachable states of a distributed computation forms a lattice under a certain partial order relation. A property is said to exhibit meet-closure if the set of reachable states satisfying it is closed under the...

By defining a closure operator on effective equivalence relations in a regular category C, it is possible to establish a bijective correspondence between these closure operators and the regular epireflective subcategories of C, on the model of the closure operators on kernels in homological categories [5]. When C is an exact Goursat category [6], this correspondence restricts to a bijection bet...

In this paper a new type of fuzzy regularity, viz. fuzzy p∗regularity has been introduced and studied by a newly defined closure operator, viz., fuzzy p∗-closure operator. Also we have found the mutual relationship of this closure operator among other closure operators defined earlier. In p∗-regular space, p∗-closure operator is an idempotent operator. In the last section, p∗-closure operator h...

The aim of this paper is to study L-fuzzy closure operator in Lfuzzy topological spaces. We introduce two kinds of L-fuzzy closure operators from different point view and prove that both L-TFCS–the category of topological L-fuzzy closure spaces–and L-PTFCS–the category of topological pointwise L-fuzzy closure spaces–are isomorphic to L-FCTOP.