Category Theory
*
Internal Hom
*
Perspective taking in Category Theory
