Friday, August 23, 2024

Are analogies adjunctions ?

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

Critical analysis of Robert Hanna's Cognition, Content, and the A Priori - Chapters 4 and 5 (continuously updated)

 Chapter 4: Truth in Virtue of Intentionality, Or, The Return of the Analytic-Synthetic Distinction The classical Kantian distinction betwee...