CatDat
Structure
categories
functors
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
trivial category
discrete category on two objects
category of finite sets and injections
poset of extended natural numbers
proset of integers w.r.t. divisibility
poset [0,1]
walking fork
walking isomorphism
Go back
Make a suggestion
Structure
categories
functors
Home
Categories
Properties
Implications
Compare
Search
Contribute
Settings
Missing data
Resources
Foundations
Download