Mario Román

❯

❯

Star autonomous category

Star-autonomous category

Aug 15, 20231 min read

Tags: polycategory See also.

Simple Free Star-Autonomous Categories and Full Coherence (Hughes)

Graph View

Backlinks

Drawing the Church booleans
Switching criterion
closed categories the star-autonomous way
partial leaf functions
Star-polycategory

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

GitHub
ArXiv
OrcID