Anders Kock

• Synthetic Differential Geometry
• Synthetic differential geometry
• Synthetic Geometry of Manifolds
• Synthetic geometry of manifolds
• Category theoretic methods in geometry
• Elementary toposes
• Monader og universel algebra