Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
equivalence_of_categories [2014/11/01 17:55] nikolaj |
equivalence_of_categories [2014/11/01 18:11] nikolaj |
||
---|---|---|---|
Line 11: | Line 11: | ||
=== Elaboration === | === Elaboration === | ||
Here $Id_{\bf C}$ denotes the [[identity functor]] on ${\bf C}$. | Here $Id_{\bf C}$ denotes the [[identity functor]] on ${\bf C}$. | ||
- | |||
- | === In words === | ||
- | Two categories are equivalent, if there is are functors $F,G$ mediating between them, which don't deform them too much: They are tame enough so that their composite deformations can be repaired back to unity. | ||
=== Motivation === | === Motivation === |