Bi-directional models of ``radically synthetic differential geometry

zbMATH Open1541.5101MaRDI QIDQ6552270

Matias Menni

Publication date: 8 June 2024

Published in: Theory and Applications of Categories (Search for Journal in Brave)

zbMATH Keywords

axiomatic cohesion(radically) synthetic differential geometry

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonstandard models in mathematics (03H05) Synthetic differential geometry (51K10) Grothendieck topologies and Grothendieck topoi (18F10)

Cites Work

• On right adjoints to exponential functors
• Differential structure, tangent structure, and SDG
• The hyperconnected maps that are local
• Euler’s Continuum Functorially Vindicated
• A simple axiomatics for differentiation.
• Synthetic Differential Topology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Bi-directional models of ``radically synthetic differential geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6552270)