A -categorical approach to change of base and geometric morphisms I
A Borel topos
A categorical account of the localic closed subgroup theorem
Given an axiomatic account of the category of locales the closed subgroup theorem is proved. The theorem is seen as a consequence of a categorical account of the Hofmann-Mislove theorem. The categorical account has an order dual providing a new result for locale theory: every compact subgroup is necessarily fitted.
A categorical characterization of sets among classes
A categorical genealogy for the congruence distributive property.
A categorical guide to separation, compactness and perfectness.
A characterization of a category of discrete transformation groups
A coalgebraic view on reachability
Coalgebras for an endofunctor provide a category theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the reachable part of a given pointed coalgebra that is inspired by and resembles the standard breadth-first search procedure to compute the reachable part of a graph. We also study coalgebras in Kleisli categories: for a functor extending a functor on the base category, we show that the reachable part of a given pointed coalgebra...
A concentration of categories with non-injective monomorphisms
A conglomerate of exponential supercategories of the category of finitely generated topological spaces.
A generalized minimal realization theory of machines in a category.
This paper presents a generalized minimal realization theory of machines in a category which contains the Kleiski case. The minimal realization is the cheapest realization for a given cost functor. The final reachable realization of Arbib and Manes ([5]) and the minimal state approach for nondeterministic machines are included here.
A graph structure over the category of sets and partial functions
A lifting theorem for right adjoints
A matrix characterization of the maximal groups in
A note on direct-product decompositions
A note on discrete Conduché fibrations.
A note on exponentiation in regular locales
A note on frame distributions
A note on -embeddings
A note on reflective subcategories defined by partial algebras