1: \begin{abstract}

2: 	Circuit algebras, used in the study of finite-type knot invariants, are a symmetric analogue of Jones's planar algebras. They are very closely related to circuit operads, modular operads equipped with a monoidal product. This paper gives a description of circuit algebras in terms categories of Brauer diagrams, and thereby establishes a link between circuit algebras and the representation theory of classical Lie groups. An abstract nerve theorem for circuit operads -- and hence circuit algebras -- is proved and a graphical calculus is established using an iterated distributive law, and an existing nerve theorem for modular operads. 

3: 	

4: 	%Using an iterated distributive law and an existing nerve theorem for modular operads, to prove a . %proves a nerve functor for circuit algebras in terms o

5: 	

6: 	%They generalise wheeled props and are closely related to circuit algebras -- that are the symmetric version of planar algebras -- in low dimensional topology. Using the theory of iterated distributive laws, a monad whose Eilenberg Moore Category of algebras is the category of circuit operads is described and a corresponding nerve theorem is proved. A slight modification of this construction leads to a nerve theorem for compact closed categories.

7: 	

8: 	

9: \end{abstract}

10: