John Baez
Switching Networks

The Category of Switching Circuits

One this page we describe the category of Boolean switching circuits as well as a functor from these circuits to the category fdHilb.

Classical switching functions

Switching functions are maps

$$f:\{0,1{\}}^n\to \{0,1\}$$f:\{0,1\}^n \rightarrow \{0,1\}

Categorical description

Hilbert spaces

The functor from Boolean circuits to tensors

$$F:(B^n\to B)\to (C\to C^{n+1})$$F:(B^n\rightarrow B)\rightarrow (C\rightarrow C^{n+1})