Example 6.173.
Let \(C\) be a locus with a final object, and let \(A\) be a small category with finite colimits and a final object. Then the subcategory
\[\Exc^{[m,n]}(A,C) \subseteq \Fun(A,C)\]
of \(n\)-reduced \(m\)-excisive functors is a locus. Indeed, it is the fiber of the functor
\[P_{n-1}\colon \Exc^{m}(A,C) \longrightarrow \Exc^{n-1}(A,C).\]