声と層化
hitsujikaip — 2026/07/25
そのようなモノ自体が、その後で、恣意的に別の様々な知識作用によって分割区分されるのである。しかしまた、そのように分割区分されたものについては、それらを再び統合することがなければ、目的達成作用をもたらす直観は生じてこない。それで人は再びほかならぬ相互連関というものを考慮するのである[1]。
バルトリハリ（著）、赤松明彦（訳註）『古典インドの言語哲学』１第五章 語と意味と両者の結合関係（二）
[1] 例えば Mayer–Vietoris 完全系列とか量子情報での系の一部分の測定とか
だからこそ我々は、全体とは、部分とは、意味とは、幾何とは何であるかを問わなくてはならないわけで、幾何かつ代数たるべき（無限）圏、その局所化、それが局所-化であること、あるいはその例としての層化など[HTT 6.2, 6.3]の中に、その問いの答えらしきものを見つけることを期待する。個人的な体験として、世界と数学は、これらの概念がもつ性質や構造をそれら自身の初めからすでに知っていたかの如き奇妙な印象を与えた。
結局のところ任意の ∞-topos を与える前層圏の accessible な left exact localization のうち、Grothendieck topology から生じる topological localization [HTT 6.2.2.7, 6.2.2.9] の例としてとして層化を見たわけだが、この随伴を使えば前層の圏上に可能性様相をもたらす冪等モナドを作ることができる。 \(\infty\)-topos としての前層の圏に internal な型理論の見方では、バニラの HoTT に加えて様相 \(\bigcirc\) がある状況で、その様相 \(\bigcirc\) は「局所的には～」の可能性様相である。
ここにおいて \(X\) が層であるとは \(\bigcirc X \simeq X\) であることであり、これをデリダが〈声〉を時間的・空間的な様相におけるイデア的対象としたことに対応させると、層であるとは局所性様相におけるイデア的対象であることに対応する。（←そんな大層なことではなく、単に modal な型とだけ言えばいいのかもしれない）
イデア的対象とは、それを指示することが際限なく反復されることができる対象であり、……反復可能であるのは、まさしくその対象が、……少なくとも見かけの上では、世界を経由する必要なしに私が表現することのできる純然たるノエマだからである。
デリダ（著）・林好雄（訳）『声と現象』第六章 沈黙を守る声 p.167
そして、デリダのいう代補（supplément）はまさに層化の構成と過程をよく表している。例えば、集合値前層に対しては \((-)^+\) 構成を2回行えば十分であり、 \(n\)-亜群値の前層に関しては \(n+2\) 回[Anel-Subramaniam, 一般の accessible な左完全局所化へ拡張]、truncation されていない本当に空間値の前層なら一般には transfinite な反復が必要になる、差延（différance）の超限運動がある。この \((-)^+\) は随伴四つ組から生じる cohesion を使って書けて[nLab, Coq-HoTTでの形式化, \(L=\int=r^*r_!\), \(O=\sharp=s_*s^*\)]、差延の幾何的印象とも一致する。逆に、かなり暴力的であまり誠実な読み方をしているとは言えないかもしれないが、私は差延を（この例には限定しないが）このような過程に対応付けることによって認識しているのかもしれない。
フッサールの現象学に対する批判と、上記のような理解に基づけば、層 \(\mathcal{F} : * \to \mathrm{Sh}(X)\) は〈声〉、前層は指標（Anzeichen）であり、層化 \(a\) の層 \(\mathcal{F}\) における（ホモトピー）ファイバー \(* \times_{\mathrm{Sh}(X)} \mathrm{PSh}(X)\) （これは Riehl の用語でいう \(\mathrm{qCat}\) のアイソコンマ対象 \(\mathcal{F} \downarrow_{\cong} a\) と同値だろうか）の対象こそがノエシス・ノエマの関係に対応されるべきものだろう。
様々な機会で層化の構成、幾何における役割、局所化の幾何的な見方、層化が局所化であること、等々を見たが、やはりそれが「（私が、あるいは概念・概念の拡張が、）生まれる前から」そのようになっていたことには言語にしがたい驚きと苦しみがある。例えば、初見でも幾何学的な印象が得やすかったと記憶しているが、「各点の茎に同型を誘導するもの」という見方で十分な範疇の題材もある一方で、全体的な直感は未だ磨りガラスの向こう側にある。