Octocurious

❯

monoidal bicategory

monoidal bicategory

13 May 20261 min read

A Bicategory with monoidal structure.

Graph View

Backlinks

Traced Monoidal Categories

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community