Categorical logic
Aucun articleClassifying spaceClassifying toposCoherent categoryCoherent toposDensity theoremEffective toposFunctor represented by a schemeFundamental theorem of topos theoryGrothendieck topologyHistory of topos theoryLawvere theoryLawvere tierney topologyList objectModuli schemeNatural numbers objectNisnevich topologyPresheafQuasitoposRepresentable functorRinged toposStone spaceSubobject classifierTale topologyVolodin spaceYoneda lemma
Pas encore de questions dans cette catégorie — ça arrive.