Post #2346193

@dpiponi@mathstodon.xyz it's funny, i thought of Kan extensions when reading the first part of this. My understanding/example is that in a "tech tree" setting where morphisms describe which technologies depend on which, and everything maps to its year of invention, a left Kan extension to some new set of inventions will take a limit of the new invention's dependencies – which might look like a product (the set of years in which the prerequisites were invented), or the max of the dates if they're ordered.