Mario Román

❯

❯

traced premonoidal category

traced premonoidal category

Apr 25, 20251 min read

See also premonoidally traced categories.

References.

Traced Premonoidal Categories (Benton, Hyland)

Graph View

Backlinks

Traced Premonoidal Categories (Benton, Hyland)
premonoidally traced categories

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

GitHub
ArXiv
OrcID