Report - Toposes and Groupoids · 2011-02-08 · Toposes (Topoi) A (Grothendieck) topos is a category with: 1. finite limits and colimits, 2. exponential objects, 3. a subobject classifier

Please pass captcha verification before submit form