Text size is remembered as you browse. Motion follows your system preference unless you choose Moving. Hidden on small screens.
A series by Edward Kmett
Kan extensions, adjunctions, and their formulation as ends and coends.