A bigroupoid's topology (or, Topologising the homotopy bigroupoid of a space)

David Michael Roberts

The fundamental bigroupoid of a topological space is one way of capturing its homotopy 2-type. When the space is semilocally 2-connected, one can lift the construction to a bigroup…