2 papers
cs.PL2026
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.CT2026
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…