Defines polyslot pslot[C] and srep[C] constructions on symmetric monoidal categories that reconstruct unitary supermaps and forbid time-loops in composition, with equivalence shown on path-contraction groupoids.
19 Alan Lawrence McCann
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Governed execution is defined via a three-axiom GovernanceAlgebra that induces a symmetric monoidal category where expressible programs are exactly the governed ones, with all properties machine-checked in Rocq.
citing papers explorer
-
Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension
Defines polyslot pslot[C] and srep[C] constructions on symmetric monoidal categories that reconstruct unitary supermaps and forbid time-loops in composition, with equivalence shown on path-contraction groupoids.
-
Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
Governed execution is defined via a three-axiom GovernanceAlgebra that induces a symmetric monoidal category where expressible programs are exactly the governed ones, with all properties machine-checked in Rocq.