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 (infinity,1)-vector bundle with a bit of discussion of the Ando-Blumberg-Gepner-Hopkins-Rezk theory of (discrete) -ring module -bundles.
I have expanded a bit at (infinity,1)-vector bundle (for instance made the definition of the infinity-group of units explicit), re-organized the sections a little, and added the third reference by ABG from December last year.
1 to 2 of 2