generated at
2/21/2025, 8:44:07 PM
Exponential Functor
https://ncatlab.org/nlab/show/exponential+object
https://arxiv.org/abs/1804.05807