Title: Principal bundles in Join restriction categories
Abstract: Principal bundles arise in different areas of matematics with different definitions. However, they all have in common some kind of local triviality. Here I will present some work in progress on generalizing these in terms of join restriction categories, a notion that means to capture properties of partial maps.
Most of the time we will spend on join-restriction categories and their properties. Then, abstracting concepts from differential geometry, we will consider fiber bundles and principal bundles and see that the existence of a global right action is a consequence and does not need to be demanded.
The slides can be found at https://www.dropbox.com/s/xaj48qzrtfvbvh6/Presentation_join_restriction_bundles.pdf?dl=0