The Quotient of a Category by the Action of a Monoidal Category

Brett Milburn

We introduce the notion of the quotient of a category $C$ by the action $A:M⟶C\times C$ of a unital symmetric monoidal category $M$. The quotient $C/M$ is a 2-ca…