CatDat
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
terminal object
,
wide pullbacks
Conclusions:
complete
Proof:
See the
nLab
.
Show 7 categories using this implication
category of finite abelian groups
category of finite groups
category of finitely generated abelian groups
category of sets and relations
simplex category
walking coreflexive pair
walking splitting
Go back
Make a suggestion
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations
Download