All Questions

$\newcommand{\C}{\mathcal{C}}$ Suppose $M$ is a monad in an $\infty$-category $\C,$ and $A, B$ are two algebras over $M$. I'm willing to assume any reasonable "niceness" conditions on $\C$, $...

Let $\textbf{Fin-Set}$ denote the category of finite sets, and let $\textbf{Set}$ denote the category of sets. The inclusion functor $\textbf{Fin-Set} \rightarrow \textbf{Set}$ from the category of ...