2 problems

Let $\Shafinnb$ be the category of shapes, and let … be the functor sending $n$ to $\cubeinc{n}$. Two objects of $\Shafinnb$ are understood to be equivalent when they are isomorphi…

Let $\mathcal{M}=\mathcal{F}_s^{\leq n}$ be the category of finite sets and surjections of cardinality at most $n$, as in Example, and let $\mathbf{C}$ be a semiadditive presentabl…