Credits:
I use a modified version of 3Blue1Brown's animation library "manim":
https://github.com/treemcgee42/youtube
Riehl, Categorical Homotopy Theory- https://math.jhu.edu/~eriehl/cathtpy.pdf
Lehner, “All Concepts are Kan Extensions”:
Kan Extensions as the Most Universal
of the Universal Constructions
https://www.math.harvard.edu/media/lehner.pdf
