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

Tein van der Lugt

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 ci…