Contents

# Contents

## Idea

A pointed homotopy type, i.e. pointed infinity-groupoid, i.e. an object in the coslice (∞,1)-category of ∞Grpd under the point:

$X \in \infty Grpd^{\ast/}$

## References

Last revised on November 27, 2020 at 06:25:25. See the history of this page for a list of all contributions to it.