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{0,1} f:\{0,1\}^n \rightarrow \{0,1\}

Categorical description

Hilbert spaces

The functor from Boolean circuits to tensors

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

Created on May 3, 2011 at 06:57:59. See the history of this page for a list of all contributions to it.