Circuitoids are a generalization of a category where each morphisms has an arbitrary (possibly infinite) number of arguments. Two morphisms are not required to have the same number of arguments. See this manuscript where I first define circuitoids. I haven’t (yet) defined…
read more