Pseudomonoid
Definition. In a monoidal bicategory, a pseudomonoid over a 0-cell $M$ is a pair of 1-cells $P \colon M \otimes M \to M$ and $U \colon I \to M$ together with a triple of associator and unitor invertible 2-cells
See also
Search
Definition. In a monoidal bicategory, a pseudomonoid over a 0-cell $M$ is a pair of 1-cells $P \colon M \otimes M \to M$ and $U \colon I \to M$ together with a triple of associator and unitor invertible 2-cells
See also