On generic separable objects.
On hereditary and product-stable quotient maps
It is shown that the quotient maps of a monotopological construct A which are preserved by pullbacks along embeddings, projections, or arbitrary morphisms, can be characterized by being quotient maps in appropriate extensions of A.
On information in categories
On inverse categories with split idempotents
We present some special properties of inverse categories with split idempotents. First, we examine a Clifford-Leech type theorem relative to such inverse categories. The connection with right cancellative categories with pushouts is illustrated by simple examples. Finally, some basic properties of inverse categories with split idempotents and kernels are studied in terms of split idempotents which generate (right or left) principal ideals of annihilators.
On Limit Permanence of Projectivity and Ingectivity
On locally simply connected toposes and their fundamental groups
On minimal realizations of behavior maps in categorial automata theory
On monadic quantale algebras: basic properties and representation theorems
Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.
On natural merotopies
On nets of free polygons over a category and their categories of homomorphisms
On orderings of the system of subsets of ordered sets
On paracompact locales and metric locales
On Priestley duals of products
On primeness and maximality of filters
On product and change of base for toposes
On products in generalized algebraic categories
On pushing out frames
On quasi-homomorphisms and compositions of automata
On -fuzzy Petri nets.
On realization and boundability of concrete categories in which the morphisms are choiced by local conditions