Monomorphisms in the categories of connected algebraic systems with strong homomorphisms
Monomorphisms in the category of small connected categories with surjective functors
Normal functors and strong protomodularity.
Note on a theorem of Putnam's.
On categories determined by poset- and set-valued functors
On categories into which each concrete category can be embedded
On categories of structures and classes of algebras [Book]
On concrete categories [Book]
On descriptive classification of set-functors. I.
On descriptive classification of set-functors. II.
On envelopes in a certain category of ordered topological vector spaces
On equalizers in generalized algebraic categories
On extensions of full embeddings and binding categories
On full embeddings of categories of algebras into categories of functors with thin domain (Preliminary communication)
On fuzzification of the notion of quantaloid
The paper considers a fuzzification of the notion of quantaloid of K. I. Rosenthal, which replaces enrichment in the category of -semilattices with that in the category of modules over a given unital commutative quantale. The resulting structures are called quantale algebroids. We show that their constitute a monadic category and prove a representation theorem for them using the notion of nucleus adjusted for our needs. We also characterize the lattice of nuclei on a free quantale algebroid. At...
On information in categories
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 nets of free polygons over a category and their categories of homomorphisms
On simply bireflective subcategories
On sums in generalized algebraic categories