Circuits via topoi
Logic in Computer Science
2018-07-20 v1
Abstract
Leveraging topos theory a semantics can be given to sequential circuits where time-sensitive gates, such as unit delay, are treated uniformly with combinational gates. Both kinds of gates are functions in a particular topos: the topos of presheaves over the natural ordering of . This is used to show that sequential circuits validate the equational theory of traced categories.
Cite
@article{arxiv.1807.07159,
title = {Circuits via topoi},
author = {Arnaud Spiwack},
journal= {arXiv preprint arXiv:1807.07159},
year = {2018}
}