## Category Adjunctions 伴随函子 Math Online Tom Circle

Adjunction is the “weakeningof Equality” in Category Theory.

Equivalence of 2 Categories if: 5.2 Adjunction definition: \$latex (L, R, epsilon, eta )\$ such that the 2 triangle identities below ( red and blue) exist. 6.1Prove: Let C any category, D a Set.

\$latex boxed {text {C(L 1, -)} simeq text {R}}&fg=aa0000&s=3\$

\$latex {text {Right Adjoint R in Set category is }}&fg=aa0000&s=3\$ \$latex {text {ALWAYS Representable}}&fg=aa0000&s=3\$

1 = Singleton in Set D

From an element in the singleton Set always ‘picks’ (via the function) an image element from the other Set, hence :
\$latex boxed {text{Set (1, R c) } simeq text{Rc }}&fg=0000aa&s=3\$ Examples : Product & Exponential are Right Adjoints

Note: Adjoint is a more powerful concept to understand than the universal construction of Product and Exponential.  View original post

Advertisements ## About tomcircle

Math amateur
This entry was posted in math. Bookmark the permalink.

This site uses Akismet to reduce spam. Learn how your comment data is processed.