|
|
(view preamble | get metadata)
Cross-references: comma category, finitely complete, iff, canonical, category of sets, intuitionistic logic, Boolean, axiom of choice, comprehension axiom, converse, predicate, collection, subobject, pullback square, diagram, characteristic morphism, monomorphism, truth object, morphisms, object, elements, singleton, terminal object, powersets, intersections, disjoint unions, products, set theory, power objects, colimits, limits, finite, Cartesian closed category, site, sheaves, naturally equivalent, logic, algebraic geometry, categories
There are 27 references to this entry.
This is version 15 of topos, born on 2007-01-19, modified 2009-01-11.
Object id is 8796, canonical name is Topos.
Accessed 6490 times total.
Classification:
| AMS MSC: | 14F20 (Algebraic geometry :: homology theory :: Étale and other Grothendieck topologies and cohomologies) | | | 03G30 (Mathematical logic and foundations :: Algebraic logic :: Categorical logic, topoi) | | | 18B25 (Category theory; homological algebra :: Special categories :: Topoi) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
