Decide what to do with intermediary level resources that I am running into
prathyvsh opened this issue · comments
For example:
“All Concepts are Kan Extensions”: Kan Extensions as the Most Universal of the Universal Constructions — https://www.math.harvard.edu/media/lehner.pdf