Content pages
For long-form content, particularly longer proofs and reusable lemmas, we use content pages.
- A classification of congruences in the category of sets and relations
- Algebraic categories are "never" thin
- An embedding of the category of topological spaces in the category of locally ringed spaces
- Cocongruences on groups are effective
- Cogenerators in product categories
- Construction of a pushout of monomorphisms as a quotient of a congruence
- Construction of generators
- Dual properties
- Extremal generators in thin categories
- Finite structures usually have no sequential colimits
- Foundations
- Functors on discrete categories
- How to contribute to CatDat
- Inclusion functors
- Inheritance of effective congruences in coslice categories
- Local ℵ₁-copresentability of the category of compact Hausdorff spaces
- Missing cogenerating sets
- Missing cogenerator
- Natural number objects indicate distributivity
- Quotients of effective congruences are strict quotients
- Relationships between epimorphisms and monomorphisms
- Resources on category theory
- Results on constant morphisms
- Results on subcategories
- Sifted colimits in groupoids
- Topos with a generator
- Uniqueness of preadditive structures