deterministic and total morphisms

Last updated Dec 7, 2024

Back: copy-discard category.