Mehrfache Partialisierung von Kategorien
Metric enrichment, finite generation, and the path coreflection
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...
Moore categories.
More on injectivity in locally presentable categories.
Multiple functors. I. Limits relative to double categories
Natural sinks on
Let be the large source of epimorphisms in the category of Urysohn spaces constructed in [2]. A sink is called natural, if for all . In this paper natural sinks are characterized. As a result it is shown that permits no -factorization structure for arbitrary (large) sources.
Note on dense covers in the category of locales
In this note we are going to study dense covers in the category of locales. We shall show that any product of finitely regular locales with some dense covering property has this property as well.
Note on homotopy pullbacks in abelian categories
Objets Kar-initiaux
On binary coproducts of frames
The structure of binary coproducts in the category of frames is analyzed, and the results are then applied widely in the study of compactness, local compactness (continuous frames), separatedness, pushouts and closed frame homomorphisms.
On Categories of Relations
On descriptive classification of set-functors. I.
On descriptive classification of set-functors. II.
On equalizers in generalized algebraic categories
On product and change of base for toposes
On sifted colimits and generalized varieties.
On subdirect irreducibility and its variants
On sums in generalized algebraic categories
On the Boundedness of Topological Categories.
On the co-completeness of the category of Hausdorff uniform spaces.