@article{ghica2022compositional, title = {A Compositional Theory of Digital Circuits}, author = {Ghica, Dan R. and Kaye, George and Sprunger, David}, date = {2022-08-01}, eprint = {2201.10456}, eprinttype = {arxiv}, primaryclass = {cs, math}, publisher = {{arXiv}}, doi = {10.48550/arXiv.2201.10456}, archiveprefix = {arXiv}, keywords = {Computer Science - Logic in Computer Science,Computer Science - Programming Languages,Mathematics - Category Theory} }