Category: Topos

Topos is the category whose objects are topoi and arrows are geometric arrows.

Facts Derived from Enrichment

(Topos doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: Topos

This data as json

name objects_hr arrows_hr
Topos topoi geometric arrows

Links from other tables