@article{https://arxiv.org/abs/2102.04386, title = "Distributive Laws, Spans and the ZX-Calculus", author = "Cole Comfort", year = "2022", url = "https://arxiv.org/pdf/2102.04386", } @inproceedings{10.4204/eptcs.372.24, title = "A Graphical Calculus for Lagrangian Relations", author = "Cole Comfort and Aleks Kissinger", year = "2022", url = "https://arxiv.org/pdf/2105.06244", doi = "10.4204/eptcs.372.24", } @article{hefford2022coend, title = "Coend Optics for Quantum Combs", author = "James Hefford and Cole Comfort", year = "2022", journal = "arXiv Preprint", note = "Submitted to ACT 2022", url = "https://arxiv.org/abs/2205.09027", volume = "arXiv:2205.09027", } @unpublished{2010.13361, title = "Sheet diagrams for bimonoidal categories", author = "Cole Comfort and Antonin Delpeuch and Jules Hedges", year = "2020", } @mastersthesis{mscthesis, title = "Classifying reversible logic gates with ancillary bits", author = "Cole Comfort", year = "2019", address = "Canada", school = "University of Calgary", url = "http://hdl.handle.net/1880/110665", } @unpublished{1904.10614, title = "Circuit Relations for Real Stabilizers: Towards TOF+H", author = "Cole Comfort", year = "2019", } @inproceedings{tof, title = "The Category {TOF}", author = "J.R.B. Cockett and Cole Comfort", year = "2019", booktitle = "Electronic Proceedings in Theoretical Computer Science", month = "jan", pages = "67--84", publisher = "Open Publishing Association", url = "https://doi.org/10.4204/eptcs.287.4", volume = "287", doi = "10.4204/eptcs.287.4", } @unpublished{1809.00275, title = "Dagger linear logic for categorical quantum mechanics", author = "Robin Cockett and Cole Comfort and Priyaa Srinivasan", year = "2018", } @inproceedings{cnotrcib, title = "The Category {CNOT}", author = "Robin Cockett and Cole Comfort and Priyaa Srinivasan", year = "2018", booktitle = "Electronic Proceedings in Theoretical Computer Science", month = "feb", pages = "258--293", publisher = "Open Publishing Association", url = "https://doi.org/10.4204/eptcs.266.18", volume = "266", doi = "10.4204/eptcs.266.18", }