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

MaRDI QIDQ6222850zbMATH OpenFDO

Authors Brett Milburn

Publication date 8 January 2011

Abstract: We introduce the notion of the quotient of a category $C$ by the action $A:MlongrightarrowCimesC$ of a unital symmetric monoidal category $M$. The quotient $C/M$ is a 2-category. We prove its existence and uniqueness by first showing that every small 2-category has a presentation in terms of generators and relations and then describing the generators and relations needed for the quotient $C/M$.

This page was built for publication: The Quotient of a Category by the Action of a Monoidal Category

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6222850)