Monad compositions. I: General constructions and recursive distributive laws.
Manes, Ernie, Mulry, Philip (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “CCD lattices in presheaf categories.”
Monad compositions. I: General constructions and recursive distributive laws.
Limit preserving full embeddings.
Trnková, V, Sichler, J. (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Semantics of MML Query
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
In the paper the semantics of MML Query queries is given. The formalization is done according to [4]
A categorical concept of completion of objects
Guillaume C. L. Brümmer, Eraldo Giuli (1992)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We introduce the concept of firm classes of morphisms as basis for the axiomatic study of completions of objects in arbitrary categories. Results on objects injective with respect to given morphism classes are included. In a finitely well-complete category, firm classes are precisely the coessential first factors of morphism factorization structures.
Abstract initiality
Lutz Schröder, Horst Herrlich (2000)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We study morphisms that are initial w.r.t. all functors in a given conglomerate. Several results and counterexamples are obtained concerning the relation of such properties to different notions of subobject. E.g., strong monomorphisms are initial w.r.t. all faithful adjoint functors, but not necessarily w.r.t. all faithful monomorphism-preserving functors; morphisms that are initial w.r.t. all faithful monomorphism-preserving functors are monomorphisms, but need not be extremal; and...
Totality of product completions
Jiří Adámek, Lurdes Sousa, Walter Tholen (2000)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Categories whose Yoneda embedding has a left adjoint are known as total categories and are characterized by a strong cocompleteness property. We introduce the notion of multitotal category by asking the Yoneda embedding to be right multiadjoint and prove that this property is equivalent to totality of the formal product completion of . We also characterize multitotal categories with various types of generators; in particular, the existence of dense generators is inherited by the...