Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Started on bibundles, but there seem to be a raft of competing definitions. Perhaps they're all special cases of a most general definition.
I put in a line about the general meaning of the term, but I didn’t try to give a precise definition that everything on the page is a special case of.
Hopefully eventually somebody finds the time to describe how principal bibundles are really groupoid-principal bundles. But it’s not me right now. Thomas and Konrad want to be coming out with a paper on this in the near future.
Chris,
if you put this remark into the nLab entry bibundle, it will be preserved for eternity. At least Google will have an easier time pointing people to it.
1 to 5 of 5