A -categorical approach to change of base and geometric morphisms I
A 2-categorical approach to change of base and geometric morphisms. II.
A bicategorical approach to static modules.
A cartesian closed extension of a category of affine schemes
A categorical approach to integration.
A categorical approach to invariant means and fixed point properties.
A categorical genealogy for the congruence distributive property.
A categorical generalization of a theorem of G. Birkhoff on primitive classes of universal algebras
A categorical view at generalized concept lattices
We continue in the direction of the ideas from the Zhang’s paper [Z] about a relationship between Chu spaces and Formal Concept Analysis. We modify this categorical point of view at a classical concept lattice to a generalized concept lattice (in the sense of Krajči [K1]): We define generalized Chu spaces and show that they together with (a special type of) their morphisms form a category. Moreover we define corresponding modifications of the image / inverse image operator and show their commutativity...
A categorification of the square root of -1
We give a graphical calculus for a monoidal DG category ℐ whose Grothendieck group is isomorphic to the ring ℤ[√(-1)]. We construct a categorical action of ℐ which lifts the action of ℤ[√(-1)] on ℤ².
A characterization of varieties of inverse semigroups.
A closed category of reflexive topological abelian groups
A conglomerate of exponential supercategories of the category of finitely generated topological spaces.
A construction of -filtered bicolimits of categories
A construction of the Hom-Yetter-Drinfeld category
In continuation of our recent work about smash product Hom-Hopf algebras [Colloq. Math. 134 (2014)], we introduce the Hom-Yetter-Drinfeld category via the Radford biproduct Hom-Hopf algebra, and prove that Hom-Yetter-Drinfeld modules can provide solutions of the Hom-Yang-Baxter equation and is a pre-braided tensor category, where (H,β,S) is a Hom-Hopf algebra. Furthermore, we show that is a Radford biproduct Hom-Hopf algebra if and only if (A,α) is a Hom-Hopf algebra in the category . Finally,...
A convenient setting for differential geometry and global analysis
A convenient setting for differential geometry and global analysis II
A convenient setting for holomorphy
A direct description of uniform completion in locales and a characterization of -groups
A forbidden-suborder characterization of binarily-composable diagrams in double categories.