Tein van der Lugt

An order-theoretic circuit syntax and characterisation of the concept lattice

2025 · arXiv (Cornell University)

We take an order-theoretic approach to circuit (string diagram) syntax, treating a circuit as a partial order with additional input-output structure. We define morphisms between circuits and prove a factorisation theorem showing that these can, …