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.
I have created a stub HNN-extension. I have been wondering how to link in the connection between homotopy colimits and graphs of groups (see Fiore, Luck and Sauer), any ideas? Perhpas it will have to wait until there is a graphs of groups and a complexes of groups entry
Regarding the edit from #2:
I have made some substantial edits to the new section “As a 2-colimit” (here) in order to bring out more carefully (maybe: pedantically, but this is important) the fact that the delooping groupoid-construction
$\mathbf{B}(-) \;\colon\; Grps \to Grpds$is not fully-faithful (only regarded as landing in pointed objects among groupoids does it become a full embedding).
Of course this is essentially the point that makes the intended construction in this section work in the first place, but it still important to make the notational distinction.
1 to 6 of 6