My equivalence of categories
Collection
| context | F in D⟶C |
| context | G in C⟶D |
| definiendum | ⟨α,β⟩ in F≃G |
| inclusion | α,β … my nice nats (F,G) |
| inclusion | α,β … natural isomorphism |
Discussion
Elaboration
α in FG≅IdC
β in IdD≅GF.
Note the two different symbols ≅ and ≃. The first is about equivalences, the second about invertible gadgets.
Idea
This is like equivalence of categories, except the natural transformations are not just required to exist but must be concretely specified. As such, this is a subset of my nice nats.
Reference
Wikipedia: Equivalence of categories
Parents
Context
Subset of
Refinement of
Requirements
