Sketches of an Elephant

Peter T. Johnstone, S. o. a. E. A. T. T. C. (2002). Sketches of an Elephant: A Topos Theory Compendium, Volume 1. Oxford University Press.

Type

Book chapter

Intellectual base

Review or monograph

Year

2002

ISBN

9780198534259

Link

https://openlibrary.org/books/OL10141210Mmatched

Cited by

3 citations across 3 artifacts.

Domain-specific

• Coherent category
  • It does not assert that every functor category built from a coherent category is coherent without additional hypotheses, and all size and exactness assumptions must remain visible.
• Groupoid object
  • … observable transfers from A Lie groupoid is a groupoid object in smooth manifolds when source and target meet the required smoothness conditions. to A construction verifies existence of the composition pullback and distinguishes an internal groupoid from a group object with everywhere-defined multiplication..
• Ringed topos
  • The entry covers ordinary ringed topoi and flags later refinements; claims about local rings, derived geometry, or quantum applications require their additional hypotheses.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:5d74fc056d37 · see in the full table