Mario Román

❯

❯

❯

traced premonoidal category

traced premonoidal category

Apr 29, 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, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID