This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...

In this paper, the denition of net-theoretical L-generalized convergencespaces is proposed. It is shown that, for L a frame, the category ofenriched L-fuzzy topological spaces can be embedded in that of L-generalizedconvergence spaces as a reective subcategory and the latter is a cartesianclosedtopological category.

A category $mathbf{C}$ is called Cartesian closed  provided that it has finite products and for each$mathbf{C}$-object $A$ the functor $(Atimes -): Ara A$ has a right adjoint. It is well known that the category $mathbf{TopFuzz}$  of all topological fuzzes is both complete  and cocomplete, but it is not Cartesian closed. In this paper, we introduce some Cartesian closed subcategories of this cat...

In [1], a new approach was suggested for quantising space-time, or space. This involved developing a procedure for quantising a system whose configuration space—or history-theory analogue—is the set of objects in a (small) category Q. In the present paper, we show how this theory can be applied to the special case when Q is a category of sets. This includes the physically important examples whe...

The Baire theory of category, which classifies sets into two distinct categories, is an important topic in the study of metric spaces. Many results in topology arise from category theory; in particular, the Baire categories are related to a topological property. Because the Baire Category Theorem involves nowhere dense sets in a complete metric space, this paper first develops the concepts of n...

In this paper, the Urysohn, completely Hausdorff and completely regular axioms in $L$-topological spaces are generalized to $L$-fuzzy topological spaces. Each $L$-fuzzy topological space can be regarded to be Urysohn, completely Hausdorff and completely regular tosome degree. Some properties of them are investigated. The relations among them and $T_2$ in $L$-fuzzy topological spaces are discussed.

in this work we deal with actions of vector groupoid which is a new concept in the literature‎. ‎after we give the definition of the action of a vector groupoid on a vector space‎, ‎we obtain some results related to actions of vector groupoids‎. ‎we also apply some characterizations of the category and groupoid theory to vector groupoids‎. ‎as the second part of the work‎, ‎we define the notion...

We call a local vector lattice any vector lattice with a distinguished positive strong unit and having exactly one maximal ideal (its radical). We provide a short study of local vector lattices. In this regards, some characterizations of local vector lattices are given. For instance, we prove that a vector lattice with a distinguished strong unit is local if and only if it is clean with non no-...

In this paper, we describe a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted as bounded linear functions. So as to interpret non-linear proofs of Linear Logic, we use a notion of power series between Mackey-complete spaces, generalizing entire functions i...

For a symmetric monoidal-closed category V and a suitable monad T on the category of sets, we introduce the notion of reflexive and transitive (T,V)-algebra and show that various old and new structures are instances of such algebras. Lawvere’s presentation of a metric space as a V-category is included in our setting, via the Betti-Carboni-Street-Walters interpretation of a V-category as a monad...