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 \rightarrow \{0,1\}$$

Categorical description

Hilbert spaces

The functor from Boolean circuits to tensors

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