A concentration of categories with non-injective monomorphisms
A conglomerate of exponential supercategories of the category of finitely generated topological spaces.
A note on direct-product decompositions
A shrinking of a category of societies is a universal partly ordered class
Accessible embeddings and the solution-set condition
Accessible set functors are universal
It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.
Almost ff-universal and q-universal varieties of modular 0-lattices
A variety 𝕍 of algebras of a finite type is almost ff-universal if there is a finiteness-preserving faithful functor F: 𝔾 → 𝕍 from the category 𝔾 of all graphs and their compatible maps such that Fγ is nonconstant for every γ and every nonconstant homomorphism h: FG → FG' has the form h = Fγ for some γ: G → G'. A variety 𝕍 is Q-universal if its lattice of subquasivarieties has the lattice of subquasivarieties of any quasivariety of algebras of a finite type as the quotient of its sublattice....
Categorial refinements and their relation to reflective subcategories
Codensity and binding categories
Coherence and Embedding of Algebras.
Concerning binding categories
Die Einbettung von Mittelwertstrukturen in Q-Vektorräume.
Each concrete category has a representation by paracompact topological spaces
Embeddings into categories with fixed points in representations
Endomorphisms of complete Heyting algebras.
Equimorphy in varieties of distributive double -algebras
Any finitely generated regular variety of distributive double -algebras is finitely determined, meaning that for some finite cardinal , any subclass of algebras with isomorphic endomorphism monoids has fewer than pairwise non-isomorphic members. This result follows from our structural characterization of those finitely generated almost regular varieties which are finitely determined. We conjecture that any finitely generated, finitely determined variety of distributive double -algebras...
Essential localizations and infinitary exact completion.
Every group is representable by all natural transformations of some set-functor.
Exact completion and representations in abelian categories.
Extensionable topological hulls and topological universe hulls inside the category of pseudotopological spaces