Mario Román

❯

❯

Quotienting Do notation

Quotienting Do-notation

Feb 10, 20231 min read

do-notation

quotienting-do-notation

Tags: do-notation - theory of symmetric monoidal categories.

Graph View

Backlinks

arrow notation
Do-notation in type theory
premonoidal categories are monoidal categories without the interchange law

Mario Román (2026), CC-BY-SA. Built mostly with Quartz and Write.

GitHub
ArXiv
OrcID