4 citations · 4 across the 6 of their papers we have counts for
1 paper · 2 filters
Christopher Townsend
Using a suitable notion of principal G-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stab…