Mario Román

Home

❯

notes

❯

pieces

❯

Pseudomonoid

Pseudomonoid

Apr 29, 20251 min read

pseudomonoid

Examples

  • monoidal categories are pseudomonoids in the monoidal bicategory of categories
  • monoidal multicategories are pseudomonoids in the monoidal bicategory of multicategories
  • promonoidal categories are pseudomonoids in the monoidal bicategory of profunctors
  • effectful categories are pseudomonoids in a monoidal bicategory of promonads
  • monoidal biclosed categories are pseudomonoids in the 2-polycategory of multivariable adjunctions

See also

  • formal category theory

Graph View

Backlinks

  • Freyd as pseudomonoids
  • Map pseudomonoid
  • Pseudomonoid lax homomorphism
  • Raudsilla Seminar, November 2022
  • Twisted arrow pseudomonoids
  • pseudomonoids of multivariable adjunctions are closed categories
  • formal category theory
  • Lax pseudofrobenius algebra
  • Multicategory

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID