Mario Román

❯

❯

deterministic and total morphisms

deterministic and total morphisms

Dec 07, 20241 min read

deterministic-and-total-morphisms

Back: copy-discard category.

Graph View

Backlinks

conditionals are almost surely total
Copy-discard category

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

GitHub
ArXiv
OrcID