@inproceedings(abramskycoecke:categoricalsemantics,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Logic in Computer Science},
 pages        = {415--425},
 doi          = {10.1109/lics.2004.1319636},
)
@article(blutecomeau:neumann,
 author       = {R. Blute and M. Comeau},
 year         = {2015},
 title        = {Von {N}eumann categories},
 journal      = {Applied Categorical Structures},
 volume       = {23},
 number       = {5},
 pages        = {725--740},
 doi          = {10.1007/s10485-014-9375-6},
)
@article(boyarchenkodrinfeld:idempotents,
 author       = {M. Boyarchenko and V. Drinfeld},
 year         = {2014},
 title        = {Character sheaves on unipotent groups in positive characteristic: foundations},
 journal      = {Selecta Mathematica},
 volume       = {20},
 number       = {1},
 pages        = {125--235},
 doi          = {10.1007/s00029-013-0133-7},
 url          = {http://arxiv.org/abs/0810.0794},
)
@article(clarecrisphigson:adjoint,
 author       = {P. Clare and T. Crisp and N. Higson},
 year         = {2016},
 title        = {Adjoint functors between categories of {H}ilbert {C*}-modules},
 journal      = {Journal of the Instititue of Mathematics of Jussieu},
 pages        = {1--33},
 doi          = {10.1017/S1474748016000074},
)
@article(coeckeheunenkissinger:cpstar,
 author       = {B. Coecke and C. Heunen and A. Kissinger},
 year         = {2016},
 title        = {Categories of quantum and classical channels},
 journal      = {Quantum Information Processing},
 volume       = {15},
 number       = {12},
 pages        = {5179--5209},
 doi          = {10.1007/s11128-014-0837-4},
)
@book(coeckekissinger:cqm,
 author       = {B. Coecke and A. Kissinger},
 year         = {2017},
 title        = {Picturing quantum processes: a first course in quantum theory and diagrammatic reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(coecke2013causal,
 author       = {B. Coecke and R. Lal},
 year         = {2013},
 title        = {Causal categories: relativistically interacting processes},
 journal      = {Foundations of Physics},
 volume       = {43},
 number       = {4},
 pages        = {458--501},
 doi          = {10.1007/s10701-012-9646-8},
)
@article(fioreleinster:thompsonsgroupf,
 author       = {M. Fiore and T. Leinster},
 year         = {2010},
 title        = {An abstract characterization of {T}hompson's group $F$},
 journal      = {Semigroup Forum},
 volume       = {80},
 pages        = {325--340},
 doi          = {10.1007/s00233-010-9209-2},
)
@inproceedings(fujiikatsumatamellies:gradedmonads,
 author       = {S. Fujii and S. Katsumata and P.-A. Melli{\`es}},
 year         = {2015},
 title        = {Towards a formal theory of graded monads},
 booktitle    = {Foundations of Software Science and Computation Structures},
 publisher    = {Springer},
 pages        = {513--530},
 doi          = {10.1007/978-3-662-49630-5\_30},
)
@article(haydenmay:wherewhen,
 author       = {P. Hayden and A. May},
 year         = {2016},
 title        = {Summoning information in spacetime, or where and when can a qubit be?},
 journal      = {Journal of Physics A},
 volume       = {49},
 number       = {17},
 pages        = {175304},
 doi          = {10.1088/1751-8113/49/17/175304},
)
@article(heunenreyes:frobenius,
 author       = {C. Heunen and M. L. Reyes},
 year         = {2017},
 title        = {Frobenius structures over {H}ilbert {C}*-modules},
 url          = {http://arxiv.org/abs/1704.05725},
)
@book(heunenvicary:cqm,
 author       = {C. Heunen and J. Vicary},
 year         = {2017},
 title        = {Categories for Quantum Theory: an introduction},
 publisher    = {Oxford University Press},
)
@article(hines:coherenceselfsimilarity,
 author       = {P. Hines},
 year         = {2016},
 title        = {Coherence and strictification for self-similarity},
 journal      = {Journal of Homotopy and Related Structures},
 volume       = {11},
 pages        = {847--867},
 doi          = {10.1007/s40062-016-0154-y},
)
@article(jacobsmandemaker:coreflections,
 author       = {B. Jacobs and J. Mandemaker},
 year         = {2012},
 title        = {Coreflections in algebraic quantum logic},
 journal      = {Foundations of Physics},
 volume       = {42},
 number       = {2},
 pages        = {932--958},
 doi          = {10.1007/s10701-012-9654-8},
)
@book(kashiwara2005categories,
 author       = {M. Kashiwara and P. Schapira},
 year         = {2005},
 title        = {Categories and sheaves},
 publisher    = {Springer},
)
@article(kent:tasks,
 author       = {A. Kent},
 year         = {2012},
 title        = {Quantum tasks in {M}inkowski space},
 journal      = {Classical and Quantum Gravity},
 volume       = {29},
 pages        = {224013},
 doi          = {10.1088/0264-9381/29/22/224013},
)
@inproceedings(kissingeruijlen:causal,
 author       = {A. Kissinger and S. Uijlen},
 year         = {2017},
 title        = {A categorical semantics for causal structure},
 booktitle    = {Logic in Computer Science},
 doi          = {10.1109/LICS.2017.8005095},
 url          = {http://arxiv.org/abs/1701.04732},
)
@book(lance1995hilbert,
 author       = {E. C. Lance},
 year         = {1995},
 title        = {Hilbert C*-modules: a toolkit for operator algebraists},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511526206},
)
@article(martin2006domain,
 author       = {K. Martin and P. Panangaden},
 year         = {2006},
 title        = {A domain of spacetime intervals in general relativity},
 journal      = {Communications in mathematical physics},
 volume       = {267},
 number       = {3},
 pages        = {563--586},
 doi          = {10.1007/s00220-006-0066-5},
)
@book(penrose1972techniques,
 author       = {R. Penrose},
 year         = {1972},
 title        = {Techniques in Differential Topology in Relativity},
 publisher    = {SIAM},
 doi          = {10.1137/1.9781611970609},
)
@unpublished(quillen:nonunitalrings,
 author       = {D. Quillen},
 year         = {1996},
 title        = {Module theory over nonunital rings},
 url          = {http://www.claymath.org/library/Quillen/Working_papers/quillen\%201996/1996-2.pdf},
)