{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:20:21Z","timestamp":1757622021372,"version":"3.44.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032006851"},{"type":"electronic","value":"9783032006868"}],"license":[{"start":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T00:00:00Z","timestamp":1754438400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T00:00:00Z","timestamp":1754438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-00686-8_13","type":"book-chapter","created":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T22:07:52Z","timestamp":1754431672000},"page":"135-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Creative Physics: A Categorical Framework for\u00a0Creative Dynamical Processes"],"prefix":"10.1007","author":[{"given":"Justin","family":"Diamond","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,6]]},"reference":[{"key":"13_CR1","unstructured":"Burstall, R.M., Rydeheard, D.E.: Computational Category Theory. Prentice Hall International. (Seminal work laying the foundations of mechanizing category theory on computers; includes implementations of categorical constructions and emphasizes the computational handling of limits, colimits, and adjunctions.) (1988)"},{"key":"13_CR2","volume-title":"Categories for the Working Mathematician","author":"S Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, Heidleberg (1998)","edition":"2"},{"issue":"5","key":"13_CR3","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"FW Lawvere","year":"1963","unstructured":"Lawvere, F.W.: Functorial Semantics of Algebraic Theories. Proc. Natl. Acad. Sci. U.S.A. 50(5), 869\u2013872 (1963)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"key":"13_CR4","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0084208","volume-title":"Category Theory","author":"FW Lawvere","year":"1991","unstructured":"Lawvere, F.W.: Some thoughts on the future of category theory. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds.) Category Theory. LNM, vol. 1488, pp. 1\u201313. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0084208"},{"key":"13_CR5","doi-asserted-by":"publisher","unstructured":"Andreatta, M., Ehresmann, A., Guitart, R., Mazzola, G.: Towards a categorical theory of creativity for music, discourse, and cognition. In: Yust, J., Wild, J., Burgoyne, J.A. (eds.) MCM 2013. LNCS (LNAI), vol. 7937, pp. 19\u201337. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39357-0_2. (Highlights the role of colimits and Yoneda lemma in formalizing creative processes.)","DOI":"10.1007\/978-3-642-39357-0_2"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, vol. 1-2. Oxford University Press, Cambridge (2002). (Reference on categorical logic and classifying toposes.)","DOI":"10.1093\/oso\/9780198515982.001.0001"},{"key":"13_CR7","unstructured":"Ehresmann, A.C., Vanbremeersch, J.P.: Memory Evolutive Systems: Hierarchy, Emergence, Cognition. Elsevier, Heidelberg (2007). (Presents a category-based model of complex hierarchical systems and concept emergence.)"},{"key":"13_CR8","unstructured":"Kuhn, T.S.: The Structure of Scientific Revolutions. University of Chicago Press, Chicago (1962). (Introduces the concept of paradigm shifts and incommensurability in scientific progress.)"},{"key":"13_CR9","unstructured":"Feferman, S.: G\u00f6del\u2019s program for new axioms: Why, where, how and what?. In: G\u00f6del \u201996: Logical Foundations of Mathematics, Computer Science and Physics (1991). (Discusses extending formal systems with new axioms, related to self-transcendence in math.)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Lucas, J.R.: Minds, machines and G\u00f6del. Philosophy 36(137), 112\u2013127 (1961). (An argument that human minds are not formalizable by machines, invoking G\u00f6del\u2019s incompleteness.)","DOI":"10.1017\/S0031819100057983"},{"key":"13_CR11","unstructured":"Penrose, R.: The Emperor\u2019s New Mind. Oxford University Press, Cambridge (1989). (Speculates on human consciousness and limits of AI, with G\u00f6delian arguments.)"},{"key":"13_CR12","unstructured":"Popper, K.R.: The Logic of Scientific Discovery. Hutchinson (1959). (Popper\u2019s philosophy of science emphasizing conjecture and refutation.)"},{"key":"13_CR13","unstructured":"Lakatos, I.: Proofs and Refutations. Cambridge University Press, Cambridge (1976). (Examines the development of mathematical ideas through a dialogue involving conjectures and exceptions, aligning with creative concept revision.)"},{"key":"13_CR14","unstructured":"Hegel, G.W.F.: Science of Logic (1812). (Philosophical work introducing the dialectical method of thesis-antithesis-synthesis.)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Baez, J., Stay, M.: Physics, topology, logic and computation: a Rosetta Stone. In: New Structures for Physics, pp. 95\u2013172. Springer, Heidelberg (2010). (An exposition bridging category theory with physics and logic, relevant for thinking about different theories in categorical terms.)","DOI":"10.1007\/978-3-642-12821-9_2"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992). (Introduces the notion of institutions, capturing the idea of a logical system in category-theoretic terms, which relates to comparing theories across frameworks.)","DOI":"10.1145\/147508.147524"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Solomonoff, R.: A formal theory of inductive inference, Part I and II. Inf. Control 7(1), 1\u201322, 224\u2013254 (1964). (Early work on formalizing learning and induction, though within fixed frameworks.)","DOI":"10.1016\/S0019-9958(64)90131-7"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Stanley, K.O., Lehman, J.: Why Greatness Cannot Be Planned: The Myth of the Objective. Springer, Heidelberg (2015). (Discusses open-ended innovation and the idea that following objectives can hinder discovering novelty, relevant for creative AI.)","DOI":"10.1007\/978-3-319-15524-1_1"}],"container-title":["Lecture Notes in Computer Science","Artificial General Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00686-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T16:19:28Z","timestamp":1757348368000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00686-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,6]]},"ISBN":["9783032006851","9783032006868"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00686-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,6]]},"assertion":[{"value":"6 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AGI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial General Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Reykjavic","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iceland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"agi2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/agi-conf.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}