4.5 On the definition of equivalences
(There are yet more possible definitions of equivalence, but we will stop with these three. See http://planetmath.org/node/87824Exercise 3.11 and the exercises in this chapter for some more.) Thus, we may choose any one of them as “the” definition of . For definiteness, we choose to define
This choice is advantageous for formalization, since contains the most directly useful data. On the other hand, for other purposes, is often easier to deal with, since it contains no 2-dimensional paths and its two symmetrical halves can be treated independently. However, for purposes of this book, the specific choice will make little difference.
In the rest of this chapter, we study some other properties and characterizations of equivalences.
|Title||4.5 On the definition of equivalences|