Topos

Layer 0 — Mathematicsin the category-theory subtree

Category 'like Set': finite limits + power objects + subobject classifier. Elementary (Lawvere-Tierney) vs Grothendieck. Internal logic = IHOL.

Related concepts

Explore Topos on the interactive knowledge graph →