Chris Heunen

	postdoctoral researcher fellow of Linacre college
	University of Oxford Department of Computer Science, Room 213 Wolfson Building, Parks Road, Oxford OX1 3QD
	heunen(at)cs.ox.ac.uk
	Curriculum vitae

Publications

Books

• "Quantum physics and linguistics: a compositional, diagrammatic discourse"
  
  
  with Mehrnoosh Sadrzadeh and Edward Grefenstette (editors)
  
  
  Oxford University Press, 2013
  
  
  [book]

Preprints

• "Categories of quantum and classical channels"
  
  
  with Bob Coecke and Aleks Kissinger
  
  [pdf] [preprint]
• "Active lattices determine AW*-algebras"
  
  
  with Manuel Reyes
  
  [pdf] [preprint]
• "Extending obstructions to noncommutative functorial spectra"
  
  
  with Benno van den Berg
  
  [pdf]
• "Characterizations of categories of commutative C*-subalgebras"
  
  [pdf] [preprint]
• "Operational theories and categorical quantum mechanics"
  
  
  with Samson Abramsky
  
  
  to appear in "Lecture Notes in Logic: Logic and algebraic structures in quantum computing and information" by Association for Symbolic Logic and Cambridge University Press
  
  [pdf] [preprint]

Refereed

1. "On the functor l²"
   
   
   Computation, Logic, Games, and Quantum Foundations: 107-121, 2013
   
   [pdf] [preprint] [book]
2. "Compositional quantum logic"
   
   
   with Bob Coecke and Aleks Kissinger
   
   
   Computation, Logic, Games, and Quantum Foundations: 21-36, 2013
   
   [pdf] [preprint] [book]
3. "Diagonalizing matrices over AW*-algebras"
   
   
   with Manuel Reyes
   
   
   Journal of Functional Analysis 264(8):1873-1898, 2013
   
   [pdf] [preprint] [journal]
4. "Relative Frobenius algebras are groupoids"
   
   
   with Ivan Contreras and Albert Cattaneo
   
   
   Journal of Pure and Applied Algebra 217:114-124, 2013
   
   [pdf] [preprint] [journal]
5. "Pictures of complete positivity in arbitrary dimension"
   
   
   with Bob Coecke
   
   
   (EPTCS 95:27-35) in the proceedings of QPL IX, 2012
   
   [pdf] [preprint] [proceedings]
6. "Completely positive classical structures and sequentializable quantum protocols"
   
   
   with Sergio Boixo
   
   
   (EPTCS 95:91-101) in the proceedings of QPL IX, 2012
   
   [pdf] [preprint] [proceedings]
7. "No-go theorems for functorial localic spectra of noncommutative rings"
   
   
   with Benno van den Berg
   
   
   (EPTCS 95:21-25) in the proceedings of QPL IX, 2012
   
   [pdf] [preprint] [proceedings]
8. "H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics"
   
   
   with Samson Abramsky
   
   
   Clifford Lectures, AMS Proceedings of Symposia in Applied Mathematics 71:1--24, 2012
   
   [pdf] [preprint] [book]
9. "Entangled and sequential quantum protocols with dephasing"
   
   
   with Sergio Boixo
   
   
   Physical Review Letters 108:120402
   , 2012
   [pdf] [preprint] [journal]
10. "Complementarity in categorical quantum mechanics"
    
    
    Foundations of Physics 42(7): 856--873, 2012
    
    [pdf] [preprint] [journal]
11. "Noncommutativity as a colimit"
    
    
    with Benno van den Berg
    
    
    Applied Categorical Structures
    20(4):393--414, 2012
    [pdf] [preprint] [journal] [erratum]
12. "Bohrification of operator algebras and quantum logic"
    
    
    with Klaas Landsman and Bas Spitters
    
    
    Synthese 186(3):719--752, 2012
    
    [pdf] [preprint] [journal]
13. "The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach"
    
    
    with Klaas Landsman, Bas Spitters, and Sander Wolters
    
    
    Journal of the Australian Mathematical Society 90:39--52, 2011
    
    [pdf] [preprint] [journal]
14. "Bohrification"
    
    
    with Klaas Landsman and Bas Spitters
    
    
    chapter in "Deep Beauty" (ed. H. Halvorson), 2011
    
    [pdf] [preprint] [book]
15. "Quantum logic in dagger kernel categories"
    
    
    with Bart Jacobs
    
    
    Order 27(2):177-212, 2010
    
    [pdf] [preprint] [journal]
16. "Coalgebraic components in a many-sorted microcosm"
    
    
    with Ichiro Hasuo, Bart Jacobs and Ana Sokolova
    
    
    (LNCS 5728:64-80) in the proceedings of CALCO, 2009
    
    [pdf] [proceedings]
17. "Intuitionistic quantum logic of an n-level system"
    
    
    with Martijn Caspers, Klaas Landsman and Bas Spitters
    
    
    Foundations of Physics, 39(7):731-759, 2009
    
    [pdf] [preprint] [journal]
18. "Quantum logic in dagger kernel categories"
    
    
    with Bart Jacobs
    
    
    (ENTCS 270(2):79-103) in the proceedings of Quantum Physics and Logic 6, 2009
    
    [pdf] [preprint] [proceedings]
19. "A topos for algebraic quantum theory"
    
    
    with Klaas Landsman and Bas Spitters
    
    
    Communications in Mathematical Physics, 291:63--110, 2009
    
    [pdf] [preprint] [journal]
20. "Categorical semantics for Arrows"
    
    
    with Bart Jacobs and Ichiro Hasuo
    
    
    Journal of Functional Programming, 19(3-4):403-438, 2009
    
    [pdf] [journal]
21. "An embedding theorem for Hilbert categories"
    
    
    Theory and Applications of Categories 22(13):321-344, 2009
    
    [pdf] [preprint] [journal]
22. "Semimodule enrichment"
    
    
    (ENTCS 218:193-208) in the proceedings of MFPS XXIV, 2008
    
    [pdf] [proceedings]
23. "Compactly accessible categories and quantum key distribution"
    
    
    Logical Methods in Computer Science, 4(4), 2008
    
    [pdf] [journal]
24. "The principle of general tovariance"
    
    
    with Klaas Landsman and Bas Spitters
    
    
    (AIP Conf Proc 1023:93-102) in the proceedings of International Fall Workshop on Geometry and Physics XVI, 2008
    
    [pdf] [discussion] [preprint] [proceedings]
25. "Arrows, like Monads, are Monoids"
    
    
    with Bart Jacobs
    
    
    (ENTCS 158:219-236) in the proceedings of MFPS 22, 2006
    
    [pdf] [proceedings]
26. "Accurate silhouettes -- do polyhedral models suffice?"
    
    
    GMAG'03 proceedings, 69-74, IEEE, 2003
    
    [pdf] [proceedings]

Theses

• "Categorical quantum models and logics"
  (2009)
  
  Ph.D. thesis, supervised by Bart Jacobs and Klaas Landsman
  
  [pdf] [publisher] [hardcopies available on request] [presentation: slides, text]
• "The possibilities and impossibilities of recursive Ramsey theory"
  (2005)
  
  MSc. thesis for mathematics, supervised by Wim Veldman
  
  [pdf]
• "Complexity in the Real world"
  (2005)
  
  MSc. thesis for computing science, supervised by Herman Geuvers and Dick van Leijenhorst
  
  [pdf]
• "Between the cubes -- towards efficient yet correct decimation of implicit surfaces"
  (2002)
  
  BSc. thesis for computing science
  
  [pdf] [C source]

Popular

• "Tensegrities, of houtje-touwtje-figuren"
  (2004)
  
  with Dick van Leijenhorst
  
  
  Nieuw Archief voor Wiskunde
  2004(4):279--283
  [pdf] [journal]
• "Zeker weten? Bewijs het dan maar eens!"
  (2003)
  
  in "Jong geleerd..." by Stichting Weten
  
  [pdf]

Software

• TikZiT
  
  
  A graphical cross-platform application allowing creation and modification of TeX diagrams written using the pgf/TikZ macro library.
  
  [sourceforge]