emsenn

❯

❯

Disciplines of Mathematics

❯

Higher Topos Theory

❯

❯

adjunction

Dec 26, 20251 min read

A pair of functors related by universal properties.

Graph View

Notes written in Obsidian, webpages generated by Quartz, website hosted by Neocities, supported by reader donations.