This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
equivalence_of_categories [2014/11/01 17:55]
equivalence_of_categories [2014/11/01 18:11]
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 ===
Link to graph
Log In
Improvements of the human condition