Definition 2.4.1 (Pointed animae). A pointed anima is a pair \((X,x)\) consisting of an anima \(X\) and a distinguished point \(x \in X\). A morphism of pointed animae \(f\colon (X,x) \to (Y,y)\) consists of a map \(f\colon X \to Y\) in \(\An \) together with an isomorphism \(f(x) \cong y\).
We denote by \(\An _*\) the \(\infty \)-category of pointed animae and basepoint-preserving maps, defined as the slice category \(\An _{*/}\) from Definition 21.3.1.
Generated from the authoritative LaTeX source.