論文・文書
Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor
arXiv
Games as recursive coalgebras: A categorical view on the Nim-sum
arXiv
再帰的余代数を用いて，不偏組合せゲームとNim和を捉え直す．
講演： CSCAT 2024 (2024) · 7th Japan Combinatorial Game Theory Conference (2023) · Japan Combinatorial Game Theory Mini-Workshops with Urban Larsson (2023)
Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
arXiv
対称単体的集合のトポスのレベルを通じて，Lawvereの7つの問題の1つへの解をプレプリントとして提示する．
講演： Ph.D. thesis presentation (2026) · UTokyo Logic seminar (2025)
Topoi of automata I: Four topoi of automata and regular languages
arXiv
形式言語理論へのトポス理論的視点を導入する．
講演： SLACS 2025 (2025) · CT 2025 (2025) · Theoretical Cosynus Seminar (2025) · Séminaires du LIPN (2025) · IRIF Sémantique seminar (2025) · Groupe de travail topossique (2025) · Categories for Automata and Language Theory (2025) · Groupe de travail topossique (2025) · CSCAT 2025 (2025) · CMUP SAL seminar (2025) · Young Automata Theorists Gathering in Japan (2024)
Internal parameterization of hyperconnected quotients
arXiv
局所状態分類子を導入し，それを用いて超連結商の内部パラメータ付けを確立する．
講演： Theoretical Cosynus Seminar (2025) · Séminaires du LIPN (2025) · IRIF Sémantique seminar (2025) · Groupe de travail topossique (2025) · Toposes in Mondovì (2024) · Category Theory 2023 (2023) · Australian Category Seminar (2023) · CSCAT 2023 (2023)
Quotient toposes of discrete dynamical systems
arXiv
-
Topoi of automata II: Hyperconnected geometric morphisms and syntactic topoi
PDFTopoi of automata II: Hyperconnected geometric morphisms and syntactic topoi (PDF), 2026年8月15日 — 全体構成は本文3節と付録4編．この短縮版には第1–3節を収録し，第2.4節・第3.3–3.6節とすべての付録を省略．
-
Subtopoi of free monoid actions
-
Demystifying local state classifiers: local state classifier in a total category with a factorization system
-
Notes on Rieg theory: semiring with exponentials in logic, profinite arithmetic, enumerative combinatorics, and category theory
PDF
Counting with Exponential of Groups (PDF), 2023年12月 — rieg理論入門
-
Differential calculus of impartial combinatorial games
-
Topoi with enough projectives
-
Topoi of automata III: Geometry of \(\Sigma\)-sets
-
Dynamical systems on pretopological spaces
PDF
What is the geometry behind Conway's game of life? (PDF), 2024年12月10日, 圏論 Advent Calendar 2024 — 相対トポスの第一歩
-
An enriched-categorical origin of \(\varepsilon\)-transition
-
Category Theoretic Ordinal Invariants
-
Totally disconnected topoi
-
A topos-theoretic view on Gabriel's theorem
PDF -
The lattice of hyperconnected quotients is a module of the semiring of productive weak topologies
-
When do finite presheaves form a topos?
-
Local state classifier, permutation model, and the internal axiom of choice
-
A note on language measurability
PDF
A note on language measurability (PDF), 2026年3月8日
講演： PPL 2026 (2026)
-
Twisted Regular Tetrahedra and Eisenstein Integers
-
圏論に登場する矢印の意味は—特集 圏論の質問箱
日本評論社 -
準完全情報ニム
researchmap
