In the context of principal infinity-bundles a 0-bundle is equivalently a function.
Created on January 5, 2013 at 19:57:39. See the history of this page for a list of all contributions to it.