3 papers
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…
cs.PL2025
Actegories, Copowers, and Higher-Order Message Passing Semantics
Robin Cockett, Melika Norouzbeygi
In this paper we prove that giving a right actegory with hom-objects is equivalent to giving a right-enriched category with copowers. While this result is known in the closed symme…
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…