Lie group valued integration in well-adapted toposes

DOI10.1017/S0004972700010285zbMath0596.18006WikidataQ115336995 ScholiaQ115336995MaRDI QIDQ3728202

Anders Kock

Publication date: 1986

Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

Lie groupsynthetic differential geometrytopos theoryconvenient vector spaces\(C^{\infty }\)-ringsG-valued 1-formsG-valued integrationideals of smooth mapsspaces of global sectionswell adapted topos

Mathematics Subject Classification ID

Integration on manifolds; measures on manifolds (58C35) Topoi (18B25) Lie groups (22E99) Synthetic differential geometry (51K10) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Related Items (2)

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

Cites Work

• Combinatorial notions relating to principal fibre bundles
• A cartesian closed category of smooth mappings
• Models for synthetic integration theory.

This page was built for publication: Lie group valued integration in well-adapted toposes