generated at
2/19/2025, 9:24:58 AM
isbell conjugacy
Kan extension
https://en.wikipedia.org/wiki/Internal_category