Publications
Doctoral Thesis
Y. Maruyama. Meaning and Duality: From Categorical Logic to Quantum Physics. D.Phil. Thesis, Department of Computer Science, Mathematical, Physical, and Life Sciences Division, University of Oxford, 2017. Supervisors: Samson Abramsky and Bob Coecke. Approx. 300 pages.
Major Publications
T. Xu, V. Abbott and Y. Maruyama. Category Theory for Artificial General Intelligence. Accepted for publication in Springer LNCS, 2024.
F. Verity and Y. Maruyama. Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions. Accepted for publication in Springer LNCS, 2024.
A. Yasuda and Y. Maruyama. From Artificial General Intelligence to Artificial General Universe. Accepted for publication in Springer LNCS, 2024.
C. Bloomfield and Y. Maruyama. Fibered Universal Algebra for First-Order Logics, Journal of Pure and Applied Algebra, vol. 228, 107415, 2024.
E. Sennesh, T. Xu, and Y. Maruyama. Computing with Categories in Machine Learning. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 13921, pp. 244-254, AGI, 2023.
T. Xu, N. Velzeboer and Y. Maruyama. Chemist-Computer Interaction: Representation Learning for Chemical Design via Refinement of SELFIES VAE. Communications in Computer and Information Science, vol. 1957, pp. 353-361, Springer, 2023.
Y. Maruyama and F. Zhang. A Reasoning System for Time and Vagueness. Proceedings of IEEE-FUZZ, IEEE Computational Intelligence Society Press, 2023.
Y. Maruyama. Duality, Intensionality and Contextuality. Outstanding Contributions to Logic, vol. 25, pp. 41-88, Springer, 2023.
Y. Maruyama. Chu Duality Theory and Coalgebraic Representation of Quantum Symmetries. Journal of Pure and Applied Algebra, vol. 226, 106960, 2022.
T. Xu and Y. Maruyama. Neural String Diagrams: Towards a Universal Modelling Language for Categorical Deep Learning. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 13154, pp. 306-315, AGI, 2022.
M. T. Bennett and Y. Maruyama. Specification of Empathetic Ethical Artificial Intelligence. IEEE Transactions on Cognitive and Developmental Systems, vol. 14, pp. 292-300, 2022.
Y. Maruyama. Categorical Artificial Intelligence: The Integration of Symbolic and Statistical AI for Verifiable, Ethical, and Trustworthy AI. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 13154, pp. 127-138, AGI, 2022.
M. T. Bennett and Y. Maruyama. The Artificial Scientist: Logicist, Emergentist, and Universalist Approaches to Artificial General Intelligence. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 13154, pp. 45-54, AGI, 2022.
T. Xu, N. Hinton, M. T. Bennett, and Y. Maruyama. Natural Language Processing for Scientific Paper Evaluation. Communications in Computer and Information Science, vol. 1655, pp. 707-712, Springer, 2022.
Y. Maruyama. Moral Philosophy of Artificial General Intelligence: Agency and Responsibility. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 13154, pp 139-150, AGI, 2022.
Y. Maruyama. Human-Computer Interaction and Coevolution in Science AI Robotics. Communications in Computer and Information Science, vol. 1655, pp. 523-531, Springer, 2022.
Y. Maruyama. Fibred Algebraic Semantics for a Variety of Non-Classical First-Order Logics and Topological Logical Translation. The Journal of Symbolic Logic, vol. 86, pp. 1189-1213, 2021.
Y. Maruyama. Quantum Contextuality and Cognitive Contextuality: The Significance of Violations of Bell-type Inequalities. Biosystems Journal, vol. 208, 104472, 2021.
Y. Maruyama. Learning, Development, and Emergence of Compositionality in Natural Language Processing. Proceedings of IEEE-ICDL, IEEE Robotics and Automation Society Press, 2021.
Y. Maruyama. Category Theory and Foundations of Life Science. Biosystems Journal, vol. 203, 104376, 2021.
Y. Maruyama. A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems. Proceedings of IEEE-FUZZ, IEEE Computational Intelligence Society Press, 2021.
Y. Maruyama. Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory. Proceedings of IEEE-FUZZ, IEEE Computational Intelligence Society Press, 2021.
Y. Maruyama. Exploring Human-Computer Interaction in Mathematics. Springer LNCS, vol. 12766, pp. 75-91, HCI, 2021.
Y. Maruyama. Topological Duality via Maximal Spectrum Functor. Communications in Algebra, vol. 48, pp. 2616-2623, 2020.
Y. Maruyama. Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence. Springer LNCS, vol. 12524, pp. 129-146, CIFMA, 2020.
Y. Maruyama. Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory. Springer LNCS, vol. 12062, pp. 187-203, RAMICS, 2020.
Y. Maruyama. Universal Stone Duality via the Concept of Topological Dualizability and its Applications to Many-Valued Logic. Proceedings of IEEE-WCCI, IEEE Computational Intelligence Society Press, 2020.
Y. Maruyama. First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory. Proceedings of IEEE-WCCI, IEEE Computational Intelligence Society Press, 2020.
Y. Maruyama. Quantum Physics and Cognitive Science from a Wittgensteinian Perspective: Bohr's Classicism, Chomsky's Universalism, and Bell's Contextualism. In: Wittgensteinian, Springer Frontiers Collection, pp. 375-407, 2020.
Y. Maruyama. Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science. In: Wittgensteinian, Springer Frontiers Collection, pp. 245-274, 2020.
Y. Maruyama. The Conditions of Artificial General Intelligence: Logic, Autonomy, Resilience, Integrity, Morality, Emotion, Embodiment, and Embeddedness. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 12177, pp. 242-251, AGI, 2020.
Y. Maruyama. Rationality, Cognitive Bias, and Artificial Intelligence: A Structural Perspective on Quantum Cognitive Science. Springer LNCS, vol. 12187, pp. 172-188, HCI, 2020.
Y. Maruyama. The Categorical Integration of Symbolic and Statistical AI: Quantum NLP and Applications to Cognitive and Machine Bias Problems. Advances in Intelligent Systems and Computing, vol. 1181, pp. 466-476, Springer, 2019.
Y. Maruyama. Category Theory of Consciousness: A Critical Perspective. Cognitive Studies, vol. 26, pp. 496-503, 2019.
Y. Maruyama. Compositionality and Contextuality: The Symbolic and Statistical Theories of Meaning. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 11939, pp. 161-174, CONTEXT, 2019.
Y. Maruyama. Contextuality across the Sciences: Bell-type Theorems in Physics and Cognitive Science. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 11939, pp. 147-160, CONTEXT, 2019.
Y. Maruyama. Post-Truth AI and Big Data Epistemology: From the Genealogy of Artificial Intelligence to the Nature of Data Science as a New Kind of Science. Advances in Intelligent Systems and Computing, Springer, vol. 1181, pp. 466-476, Springer, 2019.
Y. Maruyama. Harmony, Higher-Order Rules, and the Curry-Howard-Lambek Correspondence. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, University of Tübingen, pp. 605-614, 2019.
Y. Maruyama. The Frame Problem, Gödelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments About Limits of AI, and Its Physical and Metaphysical Consequences. Springer SAPERE, vol. 44, pp. 194-206, PT-AI, 2018.
Y. Maruyama. Quantum Pancomputationalism and Statistical Data Science: From Symbolic to Statistical AI, and to Quantum AI. Springer SAPERE, vol. 44, pp. 207-211, PT-AI, 2018.
Y. Maruyama. Categorical Harmony and Paradoxes in Proof-Theoretic Semantics. Advances in Proof-Theoretic Semantics, Trends in Logic, vol. 43, pp. 95-114, 2016.
Y. Maruyama. Prior's Tonk, Notions of Logic, and Levels of Inconsistency: Vindicating the Pluralistic Unity of Science in the Light of Categorical Logical Positivism. Synthese, vol. 193, pp. 3483-3495, 2016.
Y. Maruyama. AI, Quantum Information, and External Semantic Realism: Searle's Observer-Relativity and Chinese Room, Revisited. Fundamental Issues of Artificial Intelligence, Synthese Library, vol. 376, pp. 115-127, 2016.
Y. Maruyama. Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures. Proceedings of the Tenth Quantum Physics and Logic Conference, EPTCS, vol. 171, pp. 100-112, 2014.
Y. Maruyama. Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad. Leibniz International Proceedings in Informatics, vol. 23, pp. 500-520, CSL, 2013.
Y. Maruyama. Wittgenstein's Conception of Space and the Modernist Transformation of Geometry via Duality. Papers of 36th International Wittgenstein Symposium, Austrian Wittgenstein Society Press, 2013.
Y. Maruyama. From Operational Chu Duality to Coalgebraic Quantum Symmetry. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 8089, pp. 220-235, CALCO, 2013.
Y. Maruyama. Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 8071, pp. 211-225, WoLLIC, 2013.
Y. Maruyama. Quantum Linguistics: From Philosophy of Language to Logic of Quantum Vagueness. Proceedings of the Tenth International Workshop on Logic and Engineering of Natural Language Semantics, JSAI, pp. 28-41, 2013.
Y. Maruyama. Natural Duality, Modality, and Coalgebra. Journal of Pure and Applied Algebra, vol. 216, pp. 565-580, 2012.
Y. Maruyama. Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs. Proceedings of 22nd International Joint Conference on Artificial Intelligence, AAAI Press, pp. 1008-1013, 2011.
Y. Maruyama. Dualities for Algebras of Fitting's Many-Valued Modal Logics. Fundamenta Informaticae, vol. 106, pp. 273-294, 2011.
Y. Maruyama. Fundamental Results for Pointfree Convex Geometry. Annals of Pure and Applied Logic, vol. 161, pp. 1486-1501, 2010.
Y. Maruyama. Fuzzy Topology and Lukasiewicz Logics from the Viewpoint of Duality Theory. Studia Logica, vol. 94, pp. 245-269, 2010.
Y. Maruyama. A Duality for Algebras of Lattice-Valued Modal Logic. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 5514, pp. 281-295, WoLLIC, 2009.
Y. Maruyama. Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic. Springer LNCS (Artificial Intelligence subseries LNAI), vol. 5378, pp. 172-186, ICLA, 2009.
Other Publications
Y. Maruyama. Category Theory and Artificial Intelligence. Mathematical Science (Suuri Kagaku), November 2024 Issue, Tokyo: Science-sha Publishing.
Y. Maruyama. Categorical Universal Logic. In: Encyclopaedia of Contemporary Logic, Tokyo: Asakura-shoten Publishing, 2024.
Y. Maruyama. Duality in Category Theory. Mathematical Science (Suuri Kagaku), July 2024 Issue, Tokyo: Science-sha Publishing.
Y. Maruyama. Life and Cognition from the Perspetice of Quantum Information Theory. In: Handbook of Quantum Lige Science, Tokyo: NTS Publishing, 2024.
T. Kira and Y. Maruyama. Dialogue on Longtermism. Contemporary Thought (Gendai Sisou), August 2024 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama. Cybernetics as the Information Theory of Everything and the Ecology of Interdisciplinary Science. Contemporary Thought (Gendai Sisou), July 2024 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama. Category Theory as a Theory of Everything. Tokyo: Science-sha Publishing, 2023 (book).
Y. Maruyama. Computational Theory of Everything and Informational View of the World. Contemporary Thought (Gendai Sisou), July 2023 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama. The Copernican Turn in Data Science. Eureka (Yuri-ika), January 2023 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama. Category Theory as a Theory of Everything: From Leibniz and Newton to Categorical Quantum Computing and Categorical Machine Learning. Contemporary Thought (Gendai Sisou), January 2023 Issue, Tokyo: Science-sha Publishing.
H. Aratake, T. Kataoka, and Y. Maruyama. Topos Theory as the Universe of Mathematics and Its Extensions. Mathematics Seminar (Sugaku Seminar), March 2022 Issue, Tokyo: Nippon-Hyoron-Sha Publishing.
T. Uramoto and Y. Maruyama. A Stepping Stone to Category Theory. Mathematics Seminar (Sugaku Seminar), March 2022 Issue, Tokyo: Nippon-Hyoron-Sha Publishing.
Y. Maruyama. Henk de Regt's Understanding Scientific Understanding. Contemporary Thought (Gendai Sisou), January 2022 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama. Categorical Artificial Intelligence and Categorical Cognitive Science: Categorical AI Robotics for Autonomous Agency. Contemporary Thought (Gendai Sisou), August 2021 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama. Categorical Artificial Intelligence and the Certainty and Applicability of Mathematics. Mathematics Seminar (Sugaku Seminar), December 2020 Issue, Tokyo: Nippon-Hyoron-Sha Publishing.
Y. Maruyama. Philosophy of Category Theory: From Categorical Structuralism to Categorical Unified Science. Contemporary Thought (Gendai Sisou), July 2020 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama. The Origin of Natural Numbers: Where Numbers Come From. Mathematics Seminar (Sugaku Seminar), June 2020 Issue, Tokyo: Nippon-Hyoron-Sha Publishing.
Y. Maruyama. Philosophy of Categories, Quantum Information, and Big Data: From Information Physics and Quantum Cognitive Science to Categorical Metaphysics and Quantum AI Native. Contemporary Thought (Gendai Sisou), Februrary 2020 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama. Gödel, Singularity, and Accelerationism: The Modernist Transformation of Worldviews and its Backlash. Contemporary Thought (Gendai Sisou), June 2019 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama interviewed by H. Nakayama. Does Category Theory Give a Synthesis after Deconstruction? Arguments, vol. 3, pp. 104-123, Tokyo: Shibuhouse Publishing, 2018.
Y. Maruyama. After Truth: The Kyoto School and the Overcoming of Modernity. Eureka (Yuri-ika), Februrary 2017 Issue, Tokyo: Seidosha Publishing.
Y. Maruyama. The Dynamics of Duality: A Fresh Look at the Philosophy of Duality. RIMS Kokyuroku (Proceedings of RIMS, Kyoto University), vol. 2050, pp. 77-99, 2017.
I. Hasuo et al., including Y. Maruyama. Category Theory Trotter. Tokyo: Nippon-Hyoron-Sha Publishing, 2015.
Y. Maruyama. Oxford and the Ladder of Meaning. Human and Environmental Forum, vol. 33, pp. 46-47, 2013.
Y. Maruyama, Categorical Logic: Beyond Topos Theory. Mathematics Seminar (Sugaku Seminar), June 2012 Issue, Tokyo: Nippon-Hyoron-Sha Publishing.
Y. Maruyama, The Logic of Categorical Duality. Mathematics Seminar (Sugaku Seminar), May 2012 Issue, Tokyo: Nippon-Hyoron-Sha Publishing.
Y. Maruyama. Lattice-Valued Fuzzy Convex Geometry. RIMS Kokyuroku (Proceedings of RIMS, Kyoto University), vol. 1641, pp. 22-37, 2009.