In this paper I compare two well studied approaches to topological semantics— the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplified by the category of Baire space representations, Rep(B). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask ...

Quasi-nearness biframes provide an asymmetric setting for the study of nearness; in [1] a completion (called a quasi-completion) was constructed for such structures and in [2] completeness was characterized in terms of the convergence of regular Cauchy bifilters. In this talk, questions of functoriality for this quasi-completion are considered and one sees that having enough regular Cauchy bifi...

In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurent’s Polarized Linear Logic. Our model is based on an adjunction between reflective/coreflective full subcategories C−/C+ of an ambient ∗-autonomous category C (with products). Similar structures were first introduced by ...

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

partial frames provide a rich context in which to do pointfree structured and unstructured topology. a small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. these axioms are sufficiently general to include as examples bounded distributive lattices, $sigma$-frames, $ka...

Partial frames provide a rich context in which to do pointfree structured and unstructured topology. A small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. These axioms are sufficiently general to include as examples bounded distributive...

In Lowen and Wuyts (Appl Categ Struct 8:235–245, 2000) the authors studied the simultaneously concretely reflective and concretely coreflective subconstructs of the category Ap of approach spaces. For the sake of shortness we call such subconstructs stable. Using a technique introduced in Herrlich and Lowen (1999) it was possible to explicitly describe such stable subconstructs by a condition o...

In addition to exploring constructions and properties of limits and colimits in categories of topological algebras, we study special subcategories of topological algebras and their properties. In particular, under certain conditions, reflective subcategories when paired with topological structures give rise to reflective subcategories and epireflective subcategories give rise to epireflective s...

This thesis studies formal semantics for a family of rewriting formalisms that have arisen as category theoretical abstractions of the so-called algebraic approaches to graph rewriting. The latter in turn generalize and combine features of term rewriting and Petri nets. Two salient features of (the abstract versions of) graph rewriting are a suitable class of categories which captures the struc...

Following the point-set lattice-theoretic (poslat) approach to topology of S. E. Rodabaugh [11], we introduced a more general way to do categorical (fuzzy) topology under the name of categorically-algebraic (catalg) topology [12], which unified many lattice-valued topological settings, and provided the means of intercommunication between different such frameworks. Moreover, motivated by the res...