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 some notion of associativity for circuitoids. This may be a topic of our future research.