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