Takashi's Notes

Home

❯

books

❯

category theory for programmers

❯

kan extensions

kan-extensions

May 12, 20231 min read

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

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


Graph View

Backlinks

  • ends-and-coends
  • enriched-categories

Created with Quartz v4.5.1 © 2025

  • Homepage
  • GitHub
  • RSS
  • Sitemap