Fetching the paper…
Reading the bibliography…
We argue that category theory should become a part of the daily practice of the physicist, and more specific, the quantum physicist and/or informatician.
Birkhoff, G. and von Neumann, J. (1936)
1936
Earlier work this paper cites.
Eilenberg, S. and Mac Lane, S. (1945) General theory of natural equivalences. Transactions of the American Mathematical Society,
1945
Earlier work this paper cites.
Dirac, P. A. M. (1947) The Principles of Quantum Mechanics (
1947
Earlier work this paper cites.
von Neumann, J. (1932) Mathematische Grundlagen der Quantenmechanik. Springer-Verlag. English translation (1955): Mathematical Foundations of Quantum Mechanics. Princeton University Press
1955
Earlier work this paper cites.
Lambek, J. (1958) The mathematics of sentence structure. American Mathematics Monthly
1958
Earlier work this paper cites.
Finkelstein, D. R., Jauch, J. M., Schiminovich, D. and Speiser, D. (1962) Foundations of quaternion quantum mechanics. Journal of Mathematical Physics
1962
Earlier work this paper cites.
Benabou, J. (1963) Categories avec multiplication. Comptes Rendus des Séances de l’Académie des Sciences. Paris
1963
Earlier work this paper cites.
Mac Lane, S. (1971) Categories for the Working Mathematician. Springer
1971
Earlier work this paper cites.
Kelly, G. M. (1972) Many-variable functorial calculus I. In: Coherence in Categories, pp.66–105, G. M. Kelly, M. Laplaza, G. Lewis and S. Mac Lane, Eds., Lecture Notes in Mathematics
1972
Earlier work this paper cites.
Lawvere, F. W. (1974) Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano
1974
Earlier work this paper cites.
Barr, M. (1979)
1979
Earlier work this paper cites.
Kelly, G. M. and Laplaza, M. L. (1980) Coherence for compact closed categories. Journal of Pure and Applied Algebra
1980
Earlier work this paper cites.
Kelly, G. M. (1982) Basic concepts of enriched category theory. London Mathematical Society Lecture Note Series
1982
Cited alongside, same era.
Wootters, W. K. and Zurek, W. (1982) A single quantum cannot be cloned. Nature
1982
Cited alongside, same era.
Girard, J.-Y. (1987) Linear logic. Theoretical Computer Science
1987
Cited alongside, same era.
Joyal, A. and Street, R. (1991) The Geometry of tensor calculus I. Advances in Mathematics
1991
Cited alongside, same era.
Abramsky, S., Gay, S. J. and Nagarajan, R. (1995) Interaction categories and foundations of typed concurrent programming. In: Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School, pp. 35–113, NATO ASI Series F, Springer-Verlag
1994
Cited alongside, same era.
Abramsky, S. (2002
2002
Later among the works it cites.
Lawvere, F. W. and Rosebrugh, R. (2003) Sets for mathematics. Cambridge University Press
2003
Later among the works it cites.
Abramsky, S. and Coecke, B. (2004) A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LiCS‘04), IEEE Computer Science Press. An extended & improved version is available at
2004
Later among the works it cites.
Arrighi, P. and Patricot, C. (2004) On quantum operations as quantum states. Annals of Physics
2004
Later among the works it cites.
Baez, J. (2004) Quantum quandaries: a category-theoretic perspective. In: S. French et al. (Eds.) Structural Foundations of Quantum Gravity, Oxford University Press
2004
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Joyal, A., Street, R. and Verity, D. (1996) Traced monoidal categories. Proceedings of the Cambridge Philosophical Society
1996
Cited alongside, same era.
Lawvere, F. W. and Schanuel, S. H. (1997) Conceptual mathematics. Cambridge University Press
1997
Cited alongside, same era.
Rédei, M. (1997) Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead). Studies in History and Philosophy of Modern Physics
1997
Cited alongside, same era.
Isham, C. J. and Butterfield, J. (1998) Topos perspective on the Kochen-Specker theorem: Quantum states as generalized valuations. International Journal of Theoretical Physics
1998
Cited alongside, same era.
Seely, R. A. G. (1998) Linear logic,
1998
Cited alongside, same era.
Borceux, F. and Stubbe, I. (2000) Short introduction to enriched categories. In: Current Research in Operational Quantum Logic: Algebras, Categories, Languages, pp. 167–194, B. Coecke, D. J. Moore and A. Wilce, Fundamental Theories of Physics
2000
Cited alongside, same era.
Pati, A. K. and Braunstein, S. L. (2000) Impossibility of deleting an unknown quantum state. Nature
2000
Cited alongside, same era.
Blute, R. and Scott, Ph. (2004) Category theory for linear logicians. In: Linear Logic in Computer Science, T. Ehrhard, J.-Y. Girard, P. Ruet and Ph. Scott, pp. 3–64, London Mathematical Society Lecture Note Series
2004
Later among the works it cites.
Lambek, J. (2004) What are pregroups? In: Language and Grammar: Studies in Mathematical Linguistics and Natural Language, C. Casadio, P. J. Scott, and R. A. G. Seely, CSLI Publications
2004
Later among the works it cites.
2004
Later among the works it cites.
Abramsky, S. and Coecke, B. (2005) Abstract physical traces. Theory and Applications of Categories
2005
Later among the works it cites.
Coecke, B. (2005) De-linearizing linearity: Projective quantum axiomatics from strong compact closure. Electronic Notes in Theoretical Computer Science, Proceedings of the 3rd International Workshop on Quantum Programming Languages
2005
Later among the works it cites.
Coecke, B. (2005) Kindergarten quantum mechanics — lecture notes. In: Quantum Theory: Reconsiderations of the Foundations
2005
Later among the works it cites.
Selinger, P. (2005) Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical Computer Science, Proceedings of the 3rd International Workshop on Quantum Programming Languages
2005
Later among the works it cites.