Decide what to do with intermediary level resources that I am running into #2
Description
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