Implication details
Claim: If a category is core-thin, then it has coquotients of cocongruences and has effective cocongruences.
Proof: This follows from the dual implication.
This implication has a dual.
Show 35 categories using this implication
- category of algebras
- delooping of the bicyclic monoid
- delooping of the double bicyclic monoid
- delooping of the additive monoid of natural numbers
- delooping of the additive monoid of ordinal numbers
- category of commutative monoids
- category of small categories
- simplex category
- category of finite ordered sets
- category of finitely generated groups
- category of locally ringed spaces
- category of measurable spaces
- category of extended metric spaces
- category of monoids
- partially ordered collection of ordinal numbers
- category of pseudo-metric spaces with non-expansive maps
- category of partially ordered sets
- category of preordered sets
- category of rings
- category of rngs
- category of semigroups
- category of countably infinite sets
- discrete category of sets
- category of non-empty sets
- category of topological spaces
- category of uniform spaces
- preordered set of integers w.r.t. divisibility
- cocompletion of a discrete–pair join
- forked commutative square
- real interval [0,1]
- walking coreflexive pair
- walking fork
- walking idempotent
- walking parallel pair
- walking span