CatDat
Structure
categories
functors
morphisms
Home
Categories
Properties
Implications
Compare
Search
Implication Details
Assumptions:
thin
Conclusions:
binary powers
Proof:
This is because
X
×
X
=
X
X \times X = X
X
×
X
=
X
.
Show 8 categories using this implication
category of finite sets and injections
discrete category on two objects
poset [0,1]
poset of extended natural numbers
proset of integers w.r.t. divisibility
trivial category
walking fork
walking isomorphism
Go back
Make a suggestion
Structure
categories
functors
morphisms
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations
Download