Octocurious

❯

monoidal bicategory

monoidal bicategory

04 Apr 20251 min read

A Bicategory with monoidal structure.

Graph View

Backlinks

Traced Monoidal Categories

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community