Universal projective geometry via topos theory

DOI10.1016/0022-4049(76)90002-5zbMath0375.02016OpenAlexW2033961179MaRDI QIDQ1245934

Anders Kock

Publication date: 1976

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(76)90002-5

Mathematics Subject Classification ID

Combinatorial structures in finite projective spaces (51E20) Special categories (18B99) Intuitionistic mathematics (03F55) Foundations, relations to logic and deductive systems (18A15)

Related Items

Classifying toposes for first-order theories, Unnamed Item, Linear algebra in a local ringed site, Projectales, The sh-Lie algebra perturbation lemma, Unnamed Item, Rings, fields, and spectra, Théorie des modeles et faisceaux, Small models for chain algebras, Synthetic aspects of \(C^\infty\)-mappings, Synthetic characterization of reduced algebras

Cites Work

• Linear algebra in a local ringed site
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item