Yoshihiro Maruyama

Available identifiers

zbMath Open maruyama.yoshihiroMaRDI QIDQ418909

List of research outcomes

Publication	Date of Publication	Type
Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky	2024-10-01	Paper
Fibered universal algebra for first-order logics	2023-09-19	Paper
Computing with Categories in Machine Learning	2023-03-07	Paper
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory	2022-08-30	Paper
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics	2022-06-03	Paper
A Probabilistic Generative Model of Free Categories	2022-05-09	Paper
Chu duality theory and coalgebraic representation of quantum symmetries	2022-04-13	Paper
FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION	2021-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4997273	2021-06-29	Paper
Topological duality via maximal spectrum functor	2020-06-08	Paper
Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism	2017-03-14	Paper
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad	2017-02-02	Paper
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics	2013-09-17	Paper
From Operational Chu Duality to Coalgebraic Quantum Symmetry	2013-09-13	Paper
Natural duality, modality, and coalgebra	2012-05-30	Paper
Dualities for Algebras of Fitting's Many-Valued Modal Logics	2011-11-22	Paper
Fundamental results for pointfree convex geometry	2011-08-26	Paper
Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory	2010-04-26	Paper
A Duality for Algebras of Lattice-Valued Modal Logic	2009-07-02	Paper
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic	2009-02-12	Paper

Research outcomes over time

This page was built for person: Yoshihiro Maruyama