circuits-mat

Matrices indexed by finite types, with the Either tensor as biproduct. The trace computes the Schur-complement star formula, giving transitive closure, shortest paths, and regular expressions by choice of semiring.