kan-extensions

Prev: ends-and-coends Next: enriched-categories

Prev: ends-and-coends Next: enriched-categories