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 colimit of a sequence of monomorphisms as a quotient of a congruence
- Construction of a pushout of monomorphisms as a quotient of a congruence
- Construction of Generators
- Finite structures usually have no sequential colimits
- Foundations
- How to contribute to CatDat
- 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
- Resources on Category Theory
- Results on subcategories
- Sifted colimits in groupoids
- The category of measurable spaces is not regular
- Topos with a Generator
- Uniqueness of preadditive structures
- ℵ₁-cofiltered limits of finitely generated abelian groups
- ℵ₁-filtered colimits in deloopings