14 citations · 24 across the 11 of their papers we have counts for
1 paper · 1 filter
Nathanael Arkor, Dylan McDermott
We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in fa…