‎ In the present article‎, ‎we study some categorical properties of the category {$bf‎ Cpo_{Sep}$-$S$} of all {separately strict $S$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $S$ which is‎ strict continuous in each component‎. ‎In particular‎, we show that this category is reflective and coreflective in the‎ category of $S$-cpo's‎, ‎find the free a...

We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...

We study equivariant sheaves over profinite spaces, where the group is also taken to be profinite. resolve a serious deficit in existing theory by constructing good notion of presheaves, with suitable sheafification functor. Using sheafification, we develop general modules ring, give explicit constructions infinite products and introduce an analogue skyscraper sheaves. These results underlie re...

Abstract Let R be a ring and $$N \ge 2$$ N ≥ 2 . First, we prove that any deconstructible class of modules $${\mathcal {F}}$$ F over induces two coreflective subcategories the homotopy category $$\textbf{K}_N(\mathrm {Mod-}{R})$$ <mml:m...

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...

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...

We proved in a previous work that Cattani-Sassone’s higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition systems. In this paper, we turn our attention to the full subcategory of weak higher dimensional transition systems which are unions of cubes. It is proved that the...

A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of “category with finite products”. To capture such distinctions, we consider on a 2-category those 2-monads for which algebra structure is essentially unique if it exists, giving a precise mathematical definition of “essentially unique” and investigating its consequences. We call such 2-monads...

In the theory of coalgebras C over a ring R, the rational functor relates the category C∗M of modules over the algebra C∗ (with convolution product) with the category CM of comodules over C. This is based on the pairing of the algebra C∗ with the coalgebra C provided by the evaluation map ev : C∗ ⊗R C → R. The (rationality) condition under consideration ensures that CM becomes a coreflective fu...

We present a presheaf model for the observation of infinite as well as finite computations. We apply it to give a denotational semantics of SCCS with finite delay, in which the meanings of recursion are given by final coalgebras and meanings of finite delay by initial algebras of the process equations for delay. This can be viewed as a first step in representing fairness in presheaf semantics. ...