Yoshihiro Maruyama

Last updated: Nov 16, 2014 at 01:06
 
Avatar
Name
Yoshihiro Maruyama
E-mail
maruyamacs.ox.ac.uk
Affiliation
University of Oxford
Section
Quantum Group, Computing Laboratory

Profile

I am a D.Phil. student in the Quantum Group of Oxford University Computing Laboratory. My supervisors are Samson Abramsky and Bob Coecke.

I have been working mainly on categorical dualities (esp., Stone-type dualities) and their applications to other areas including mathematical logic (esp., algebraic, topological, and categorical logic), the semantics of programming languages (esp., domain theory), and quantum physics and information (esp., foundations in terms of duality and symmetry). I am recently developing Categorical Universal Logic, which is meant to unify topos-theoretical and categorical quantum concepts of Space from a logical perspective.

At the same time, I have serious interests in (both analytic and continental) philosophy. For instance, pointfree geometry (locale theory, topos theory, etc.) seems to be closely related to philosophical conceptions of Space by Brentano-Husserl (Phenomenology), Whitehead (Process Philosophy), Wittgenstein (arithmetical vs. geometrical space), and so fourth. A bit more detailed discussion on this can be found in my paper on Wittgenstein's conception of space, which is available below.

I want to understand diverse nuances of the notion of duality from both mathematical and philosophical perspectives. My slogan is that categorical duality arises between the ontological and the epistemological. Indeed, there is plenty of evidence supporting the slogan: Hilbert's duality between points (or prime ideals or varieties) and properties (or function algebras); Abramsky's duality between denotations and observable properties of computational processes; the state-observable duality in quantum physics; and of course the classic Stone duality between syntax and semantics.

In more informal terms, I am concerned with the interactive relationships between our world views and mathematical theories. I always wish to place my mathematical research in a wider context of the human knowledge of the world (I do not necessarily mean this real world by "world").

Please note that not all of my papers are listed here. Most of my conference papers are listed in my DBLP entry. If you are interested in any paper that is not uploaded here, please send me an e-mail.

Published Papers

 
Yoshihiro Maruyama
accepted for publication in LIPICS (Proc. of CSL'13)      [Refereed]
Y. Maruyama
accepted for publication in Springer LNCS      [Refereed]
Yoshihiro Maruyama
accepted for publication in Springer LNCS.      [Refereed]
Yoshihiro Maruyama
accepted for publication in EPTCS (Proc. of Quantum Physics and Logic 2013)      [Refereed]
Y. Maruyama
Journal of Pure and Applied Algebra 216 (2012) 565–580.      [Refereed]
Yoshihiro Maruyama
Proc. of IJCAL'11, AAAI Press (2011)      [Refereed]
Y. Maruyama
Fundamenta Informaticae   106 273-294   2011   [Refereed]
Y. Maruyama
Annals of Pure and Applied Logic   161 1486-1501   2010   [Refereed]
Y. Maruyama
Studia Logica   94 245-269   2010   [Refereed]
Yoshihiro Maruyama
Springer LNCS 5378 (2009)      [Refereed]
Yoshihiro Maruyama
Springer LNCS 5514 (2009)      [Refereed]
Yoshihiro Maruyama
accepted for publication in Proc. of 36th International Wittgenstein Symposium   
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
Yoshihiro Maruyama
accepted for publication as a book chapter of "Advances in Proof-Theoretic Semantics"      [Refereed][Invited]
AI, Quantum Information, and External Semantic Realism: Searle's Observer-Relativity and Chinese Room, Revisited
Yoshihiro Maruyama
accepted for publication as a book chapter of "Fundamental Issues of Artificial Intelligence"      [Refereed]

Misc

 
Categorical Logic: beyond topos theory
Yoshihiro Maruyama
Suugaku Seminar (Japanese Math Magazine)      2012
The Logic of Categorical Duality: two senses of abstraction, or absurdity, in category theory
Yoshihiro Maruyama
Suugaku Seminar (Japanese Math Magazine)      2012
Yoshihiro Maruyama
2nd Conference on Proof-Theoretic Semantics   
Yoshihiro Maruyama
CAPE Workshop 2012   
Yoshihiro Maruyama
manuscript   
Yoshihiro Maruyama
Yoshihiro Maruyama
to be published in Kyoto Univ's magazine   
Yoshihiro Maruyama
Master's Thesis, Kyoto University (Graduate School of Letters)   
Yoshihiro Maruyama
Undergraduate Thesis, Kyoto University (Faculty of Integrated Human Studies)   

Research Areas