Sketches of an Elephant

Johnstone, P. T. (2002). Sketches of an Elephant: A Topos Theory Compendium, Volume 1. Oxford University Press.

Type

Book

Intellectual base

Review or monograph

Year

2002

ISBN

9780198534259

Link

https://openlibrary.org/books/OL10141210Mmatched

Cited by

2 citations across 2 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..

Verification

Does it exist? Confirmed. This work's ISBN resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

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