On 1-form classifiers∗

DOI10.1080/00927878408823064zbMath1254.51005OpenAlexW1964868989MaRDI QIDQ4899235

Eduardo J. Dubuc, Anders Kock

Publication date: 7 January 2013

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927878408823064

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Synthetic differential geometry (51K10)

Related Items

Categorical semantics of a simple differential programming language ⋮ Differential forms on \(C^{\infty}\)-ringed spaces ⋮ Unnamed Item ⋮ Differential algebras in codifferential categories ⋮ A differential graded model for derived analytic geometry ⋮ Algebraic Geometry over 𝐶^{∞}-rings ⋮ Combinatorics of non-holonomous jets ⋮ Unnamed Item ⋮ Combinatorial notions relating to principal fibre bundles

Cites Work

• C ∞ -Schemes
• Differential forms with values in groups
• Some algebraic problems in the context of functorial semantics of algebraic theories