-Cat is locally presentable or locally bounded if is so.
Page 1 Next
Kelly, G.M., Lack, Stephen (2001)
Theory and Applications of Categories [electronic only]
Hébert, Michel (2004)
Theory and Applications of Categories [electronic only]
C. Centazzo, J. Rosický, E. M. Vitale (2004)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Fajstrup, L., Rosický, J. (2008)
Theory and Applications of Categories [electronic only]
Centazzo, C., Vitale, E.M. (2002)
Theory and Applications of Categories [electronic only]
Adamek, J., Hebert, M., Sousa, L. (2007)
Journal of Homotopy and Related Structures
Jiří Adámek, Michel Hébert, Lurdes Sousa (2006)
Archivum Mathematicum
A logic of orthogonality characterizes all “orthogonality consequences" of a given class of morphisms, i.e. those morphisms such that every object orthogonal to is also orthogonal to . A simple four-rule deduction system is formulated which is sound in every cocomplete category. In locally presentable categories we prove that the deduction system is also complete (a) for all classes of morphisms such that all members except a set are regular epimorphisms and (b) for all classes , without...
Hebert, Michel (2004)
Theory and Applications of Categories [electronic only]
Karazeris, Panagis (2001)
Theory and Applications of Categories [electronic only]
Jiří Adámek, Andrew D. Brooke-Taylor, Tim Campion, Leonid Positselski, Jiří Rosický (2019)
Commentationes Mathematicae Universitatis Carolinae
Among cocomplete categories, the locally presentable ones can be defined as those with a strong generator consisting of presentable objects. Assuming Vopěnka’s Principle, we prove that a cocomplete category is locally presentable if and only if it has a colimit dense subcategory and a generator consisting of presentable objects. We further show that a -element set is colimit-dense in , and spaces of countable dimension are colimit-dense in .
Joan Bagaria, Carles Casacuberta, A. R. D. Mathias, Jiří Rosický (2015)
Journal of the European Mathematical Society
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopěnka’s principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Lévy hierarchy. For example, the statement that, for a class of morphisms in a locally presentable category of structures, the orthogonal class of objects is a small-orthogonality...
Karazeris, Panagis, Velebil, Jiří (2007)
Theory and Applications of Categories [electronic only]
Pierre Ageron (2001)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Hébert, Michel (2010)
Theory and Applications of Categories [electronic only]
Adámek, Jiří (2005)
Theory and Applications of Categories [electronic only]
Alexandru Chirvasitu (2024)
Archivum Mathematicum
We prove a number of results involving categories enriched over CMet, the category of complete metric spaces with possibly infinite distances. The category CPMet of path complete metric spaces is locally -presentable, closed monoidal, and coreflective in CMet. We also prove that the category CCMet of convex complete metric spaces is not closed monoidal and characterize the isometry--generated objects in CMet, CPMet and CCMet, answering questions by Di Liberti and Rosický. Other results include...
Rosicky, J., Adamek, J., Borceux, F. (2002)
Theory and Applications of Categories [electronic only]
M. Hebert, J. Adamek, J. Rosický (2001)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Enrico M. Vitale (1999)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Gran, Marino, Pedicchio, Maria Cristina (2001)
Theory and Applications of Categories [electronic only]
Page 1 Next