論文・資料
全70件 · 61〜70件を表示
-
Quotient toposes of discrete dynamical systems
-
Partial Markov Categories
-
A topos-theoretic approach to Stone-type dualities
-
有限体上の A₂ quiver と Wythoff の手
## Abstract 有限体 $\mathbb{F}_q$ 上の quiver $1\to2$ の表現を線形写像として分類する． 三つの indecomposable 表現の multiplicity から dimension vector への写像をとると，一成分だけを減らす操作の存在量化商は Wythoff Nim の三方向の手と一致する． さらに，同じ関係が Boolean Hall 積の dimension-vector s…
-
有限台付き可換モノイド値関手 F_A に関する文献ノート
## Abstract 可換モノイド $A$ に対して $$ F_A(X)=\{f:X\to A \mid \operatorname{supp}(f)\text{ が有限}\}, \qquad \operatorname{supp}(f)=\{x\in X\mid f(x)\neq 1_A\} $$ で定まる finitary endofunctor を考える。 本ノートの目的は，この関手を (i) $[\operatorna…
-
Topoi of automata II: Hyperconnected geometric morphisms and syntactic topoi
## Abstract For a hyperconnected geometric morphism from the topos of Σ-sets, we formulate language recognition using the local state classifier. For a language class C, we construct the associated syntactic Grothendiec…
-
An internal hom for Conway addition
## Abstract In Games as recursive coalgebras the category Game of impartial combinatorial games is shown to be symmetric monoidal closed for the Conway addition, but only by an abstract adjoint functor argument; Questio…
-
Topos with enough projectives
## Abstract In this paper, we provide a site characterization of topoi with enough projectives. More concretely, we prove that a Grothendieck topos has enough projective objects if and only if it is a sheaf topos over a…
-
Cartesian-Carrier Symmetric Monoidal Structures on Games
## Abstract We classify symmetric monoidal structures on the category of finitely branching, finite-time impartial games whose tensor carrier is cartesian product and whose coherence maps lie over the standard cartesian…
-
The local state classifier of a slice topos
## Abstract Let E be a topos possessing a local state classifier Ξ = colim(E_mono ↪ E), with universal cocone {ξ_X : X → Ξ}, and let X be an object of E. We prove that the slice topos E/X again possesses a local state c…