Consider an analogy : day is to night as life is to death. Surely in any analogy there is implicit a correspondence, a set of functions which takes the pairs to each other: F: {day,night} $\rightarrow$ {life,death} and G: {life,death} $\rightarrow$ {day,night}. Consider the statement: death is the night of life. If this is so then surely: night is the death of day and vice-versa. We take $of\, life$ and $of\, day$ to be the functors $F$ and $G$ respectively - here we venture that 'life' and 'day' designate the whole genus, the set of both elements of the respective pairs. Thus it would make sense to day : day is the life of day and life is the day of life. And we read this as $death \rightarrow F\,night \Leftrightarrow G\, death \rightarrow night$ which (together with the case for day and life) corresponds to the definition of an adjunction (we can assume we are in a groupoid in which 'is' is an isomorphism). We can also write symbolically:
$\frac{day}{night} = \frac{life}{death} \Leftrightarrow day\times death = life \times night$
No comments:
Post a Comment