Algebra of Principal Fibre Bundles, and Connections
Anders Kock
Abstract
We put together some of the efforts by several people of making aspects of fibre bundle theory into algebra. The initiator of these efforts was Charles Ehresmann, who put the notion of groupoid and groupoid action in the focus of fibre bundle theory in general, and in connection theory in particular.
Create a lesson
Related papers
How to prove equations using diagrams: A categorical and operational semantics for e-graphs
Evan Patterson
A topological Mundici representation theorem
Yifan Meng, Lili Shen, Dexue Zhang
The tensor triangular geometry of valuation domains
Tobias Barthel, Drew Heard, Beren Sanders et al.
Localisations of rings of weak global dimension at most one
Jan Šťovíček, Florian Tecklenburg
Higher zeroes in pointed infinity-categories
Thomas Rush Brown
Higher-order many-sorted categorial algebras via generalized hep-derivors
J. Climent Vidal, E. Cosme Llópez, R. Ruiz Mora et al.