Categories as monoids in Span, Rel and Sup

Theorem 2 asserts that a category is equivalent to a variety if and only if it is cocomplete and has a strong generator consisting of strongly finitely

After a general part on biuniversal problems in 2-categories, we give here solution set conditions for the existence of these models for complete theories, and

GIERZ, Bundles of topological vector spaces and their duality, Lecture Notes in Math. GIERZ, Integral representations of linear functionals on spaces of sections in

Using them we develop the elementary theory of crossed modules in the category of small categories with fixed object

an object the fibres Yx are compact spaces, and Proposition 7 shows that the receiving category of S is actually Spp ( X ). Our main objective is to demonstrate

L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les conditions générales d’utilisation

Toute utilisation commerciale ou impression systématique est constitutive d’une infrac- tion pénale.. Toute copie ou impression de ce fichier doit contenir la présente mention

Much of the work concerned with the algebraic structure of non- negative matrices uses, as a tool, a theorem of Flor [2] which specifies the.. form of nonnegative