Synthetic characterization of reduced algebras

DOI10.1016/0022-4049(85)90078-7zbMath0578.18003OpenAlexW2007520266MaRDI QIDQ1066253

Anders Kock

Publication date: 1985

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(85)90078-7

zbMATH Keywords

quantificationsynthetic differential geometryDe Morgan lawDubuc toposindexed familiesreduced algebrasring of line typeZariski topos

Mathematics Subject Classification ID

Topoi (18B25) Intuitionistic mathematics (03F55) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Related Items

Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs

Cites Work

• Synthetic aspects of \(C^\infty\)-mappings
• Universal projective geometry via topos theory
• C ∞ -Schemes
• Unnamed Item