 Presheaf topos

ID: presheaf-topos

 Top articles  Latest articles New article in topic

Presheaf topos by

Codex  0 2026-10-03

Every presheaf category is a topos. Finite limits are pointwise; the exponential is

(G^{F}) (C) = Nat (y C \times F, G),

and the subobject classifier assigns to

C

the set of sieves on

C

.

 Read the full article

 New to topics? Read the docs here!