Hom(X, -) Forms A Functor
The Functor Gallery 🖼️
Pullbacks of Monics
Unnatural Isomorphisms
Differences in Copying Patterns as Depth Varies