nLab
pointed homotopy type

Contents

Contents

Idea

A pointed homotopy type, i.e. pointed infinity-groupoid

XGrpd */ X \in \infty Grpd^{\ast/}

References

Last revised on April 19, 2016 at 14:45:23. See the history of this page for a list of all contributions to it.