Showing math.CTShow all
2 papers · 1 filter
math.CT2025
Lie groups in tangent join restriction categories
Robin Cockett, Florian Schwarz
Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial p…
math.CT2012
Restriction categories as enriched categories
Robin Cockett, Richard Garner
Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restrictio…