Abstract
We propose category theory as the formal mathematical language and theory for studying systems. Using this formalism, a mathematical category can precisely reference and represent any system, including large-scale evolving systems of great complexity.
Similar content being viewed by others
References
Awodney S (1996) Structure in mathematics and logic: a categorical perspective. Philos Math 4(3):209–237
Awodney S (2006) Category theory. Clarendon Press. Oxford, UK
Baez J, Stay M (2011) Physics, topology, logic and computation: a Rosetta stone. In: Coecke B (ed) New structures for physics. Lecture notes in physics, vol 813, pp 95–174. Available online from: http://math.ucr.edu/home/baez/rosetta.pdf
Bell JL (2015) The axiom of choice. In: Zalta EN (ed) The Stanford encyclopedia of philosophy (summer 2015 Edition). Available online from: https://plato.stanford.edu/entries/axiom-choice/
Budiyono A (2006) An objective-ontological de-construction to quantum mechanics. arXiv:quant-ph0512235v2. Available online from: http://cds.cern.ch/record/918999/files/0512235.pdf
Eilenberg S, Mac Lane S (1945) General theory of natural equivalences. Am Math Soc 58(2):231–294. Available online August 24, 2012 from: http://www.jstor.org/stable/1990284
Goguen JA (1991) A categorical manifesto. Math Struct Comput Sci 1:49–67
Goldstein R (2005) Incompleteness – The proof and paradox of Kurt Gödel. Atlas Books, W.W. Norton and Company, New York
Hofstadter D (2007) I Am a Strange Loop. Basic Books, Perseus Group, New York
Irvine AD, Deutsch H (2016) Russell’s paradox. In: Zalta EN (ed) The Stanford encyclopedia of philosophy. Available online from: https://plato.stanford.edu/cgi-bin/encyclopedia/archinfo.cgi?entry=russell-paradox
Kozen D, Kreitz C, Richter E (2006) Automating proofs in category theory. LNAI – IJCAR 4130:392–407. Available online from: http://www.cs.uni-potsdam.de/~erichter/papers/KKR06.pdf
Lawvere FW (1963, 1968) Functorial semantics of algebraic theories. PhD thesis, Columbia University, New York. Author comments: Copyright 2004
Mahoney MS (1985) Diagrams and dynamics: mathematical perspectives on Edgerton’s thesis. In: Shirley J, Hoeniger F (eds) Science and the arts in the renaissance. Associated University Presses, Cranbury. Available online from: http://www.princeton.edu/~hos/Mahoney/articles/diagdyn/diagdyn.html
Mahoney M (2004a) Diagrams and dynamics. WWW. Available online from: http://www.princeton.edu/~hos/Mahoney/articles/diagdyn/diagdyn.html
Mahoney M (2004b) Diagrams and dynamics revisited. WWW. Available online from: http://www.princeton.edu/~hos/Mahoney/articles/drawing/mpipaper.rev.v-1.html
Murphy G (2004) The big book of concepts. MIT Press, Cambridge. paperback, 2004 edition
Nvidia (2018) GPU accelerated applications. Nvidia Corporation. Available online from: https://www.nvidia.com/en-us/data-center/gpu-accelerated-applications/catalog/
Phillips S, Wilson W (2010) Categorial compositionality I: a category theory explanation for the systematicity of human cognition. PLoS Comput Biol 6(7). Available online from: http://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1000858
Pollack H (2003) Uncertain science, uncertain world. Cambridge University Press, Cambridge, UK
Russell B (1945) The history of Western philosophy. Simon & Schuster, New York
Sawyer WW (1955) Prelude to mathematics. Dover Publications, Inc., New York. Reprint 1982 edition
Scales J, Smith M, Treitel S (2001) Introductory geophysical inverse theory. Samizdat Press, Golden. Available online from https://www.mines.edu/samizdat/wp-content/uploads/sites/341/2020/07/Scales_smith_treitel.pdf
Stanley KO, Miikkulainen R (2002) Evolving neural networks through augmenting topologies. Evol Comput 10(2):99–127. Available online from: http://nn.cs.utexas.edu/?stanley:ec02
Tarantola A (2005) Inverse problem theory and methods for model parameter estimation. Society for Industrial and Applied Mathematics (SIAM), Philadelphia. Online edition. Available online from: http://www.ipgp.fr/~tarantola/Files/Professional/Books/index.html
Taylor P (1999) Practical foundations of mathematics. Cambridge University Press, Cambridge, UK
Wigner E (1960) The unreasonable effectiveness of mathematics. Commun Pure Appl Math 13(1) Available online from: https://www.dartmouth.edu/~matc/MathDrama/reading/Wigner.html
Yudkowsky E (2007) Expecting short inferential distances. WWW. Available online from: http://lesswrong.com/lw/kg/expecting_short_inferential_distances/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this entry
Cite this entry
Lloyd, K.A. (2020). Category Theoretic Foundations for Systems Science and Engineering. In: Metcalf, G.S., Kijima, K., Deguchi, H. (eds) Handbook of Systems Sciences. Springer, Singapore. https://doi.org/10.1007/978-981-13-0370-8_65-1
Download citation
DOI: https://doi.org/10.1007/978-981-13-0370-8_65-1
Received:
Accepted:
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-0370-8
Online ISBN: 978-981-13-0370-8
eBook Packages: Springer Reference Business and ManagementReference Module Humanities and Social SciencesReference Module Business, Economics and Social Sciences