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.
1 to 4 of 4
I think the bold B stands for the delooping of an object. So for the infinity-topos H, BH would be the delooping of said infinity-topos.
The boldface B is for delooping of infinity-group objects in an infinity-topos H:
Groups(H)Ω⟵≃⟶BH*/≥1according to this Prop.
I write it in boldface to indicate that this delooping is a “geometrically enriched” version of the classical classifying space construction which is traditionally denoted “BG”:
If H=SmoothGrpd∞ and G a compact Lie group, then the underlying shape of BG (the delooping groupoid Lie groupoid of G) is the classifying space:
ʃBG≃BGThis is Prop. 4.1.12 in Equivariant principal infinity-bundles (schreiber). See also around Prop. 0.2.1 there.
1 to 4 of 4