Seberference v teorii kategorií — CCC, Lawvere, Yanofsky a formalizace preaxiomu
Stopová esej. Reaguje na podnět z 18.4.2026 (compass artifact): KRT preaxiom x^x není filosofická metafora, je to kanonický objekt teorie kategorií. Diagonální morfismus μ∘Δ v kartézsky uzavřené kategorii (CCC), kde μ je umocnění. Lawvereho věta a Yanofského sjednocení dávají preaxiomu formální jazyk. Toto je směr formalizace P6 — už víme, kde hledat.
I. Umocňování je typově nesymetrická operace
Nekomutativita a^b ≠ b^a není numerická náhoda, je typová nutnost. Báze a exponent žijí v různých algebraických kategoriích:
- Báze: prvek multiplikativní grupy (ℝ_{>0}, ·)
- Exponent: prvek aditivního modulu (ℝ, +) — skalár
Definice a^b := exp(b · ln a) je akce aditivní grupy na multiplikativní přes jednoparametrickou podgrupu t ↦ a^t. Dvě identity:
- a^(b+c) = a^b · a^c (homomorfismus v exponentu)
- (ac)^b = a^b · c^b (homomorfismus v bázi)
odpovídají dvěma různým funktorům. Záměna operandů mění typ operace samé.
Důsledek pro KRT: Re(τ) a Im(τ) v A1/A3 mají různé role nejen geometricky (osy), ale i kategoriálně — odpovídají bázi a exponentu. Asymetrie R vs i není ad hoc, je to typová nutnost umocňování.
II. Diagonála μ∘Δ — kanonické místo seberference
V kartézské kategorii (konečné součiny) existuje diagonální morfismus Δ: A → A×A, a ↦ (a,a). Univerzálně jako ⟨id, id⟩.
Pro libovolnou binární operaci μ: A×A → A je kompozice:
$$A \xrightarrow{\Delta} A \times A \xrightarrow{\mu} A$$
unární operace — „čtverec" nebo „trace" binární operace. Specificky:
- μ = + → x ↦ 2x (zdvojení)
- μ = · → x ↦ x² (druhá mocnina)
- μ = ↑ → x ↦ x^x (preaxiom KRT)
Klíčový strukturální fakt. Komutativita je μ ∘ τ = μ, kde τ: A×A → A×A je twist (a,b) ↦ (b,a). Na diagonále Δ(A) ⊂ A×A platí τ|_{Δ(A)} = id. Diagonála je fixována twistem. Proto se otázka komutativity na diagonále triviálně zodpovídá:
Nekomutativita operace se na diagonále nestává falešnou, ale nerelevantní.
Dvojice (a,a) leží na prostoru, který je „před" rozlišením první a druhé souřadnice. x^x nese ve svém zápisu stopu binární struktury (dva výskyty x), ale obsahově je unární. Je to objekt mimo nekomutativitu — ne skrze symetrii, ale skrze identifikaci.
Tohle je formální jazyk pro preaxiom. „Čas je možnost aplikovaná sama na sebe" = diagonální morfismus μ∘Δ aplikovaný na μ = umocnění. Matematika, ne metafora.
III. Endoexponenciál A^A a Lawvereho věta
V kartézsky uzavřené kategorii (CCC) existuje pro každá A, B exponenciál B^A s univerzální bijekcí:
$$\text{hom}(X \times A, B) \cong \text{hom}(X, B^A) \quad \text{(currying)}$$
Endoexponenciál A^A = Hom(A, A) je objekt, kde báze je identifikována s exponentem. Nese strukturu monoidu (skládání), obecně nekomutativního, a ztělesňuje prostor všech způsobů, jak A vztahovat k sobě.
Zde se potkávají dvě vrstvy seberference:
- Numerická: x ↦ x^x v ℝ (KRT preaxiom)
- Strukturální: A ↦ A^A v CCC (kategoriální preaxiom)
Obě jsou instance téhož diagramu μ∘Δ.
Lawvereho věta (1969)
„Diagonal Arguments and Cartesian Closed Categories" (1969):
Věta. Nechť ℂ je CCC, A, B objekty, φ: A → B^A bodově surjektivní morfismus. Pak každý endomorfismus g: B → B má pevný bod.
Konstrukce:
$$A \xrightarrow{\Delta} A \times A \xrightarrow{\varphi \times \text{id}} B^A \times A \xrightarrow{\text{ev}} B \xrightarrow{g} B$$
Curryingem dostaneme A → B^A, surjektivitou najdeme a, jehož obraz je právě tato kompozice. Vyhodnocením ev(φ(a), a) dostaneme pevný bod g.
Yanofského sjednocení (2003)
Bull. Symbolic Logic 9/3 (2003), arXiv:math/0305282
Všechny velké diagonální argumenty jsou instance Lawvereho věty:
| Instance | B, negace |
|---|---|
| Cantor | B = 2, ¬ bez fixního bodu ⇒ |𝒫(A)| > |A| |
| Russell | neexistence množiny všech množin |
| Gödel | self-referenční „tato věta není dokazatelná" |
| Turing | halting problem |
| Tarski | nedefinovatelnost pravdy |
| Curryho paradox | implikace jako pevný bod |
| Y-kombinátor | Y = λf.(λx.f(xx))(λx.f(xx)), Y F = F(Y F) |
Všechny tyto paradoxy jsou instance jediného kategoriálního diagramu — téhož, který generuje preaxiom x^x.
IV. KRT preaxiom ve světle Lawvereho
KRT říká: čas je možnost aplikovaná sama na sebe (x^x). Dosud filosofická formulace.
Formální překlad:
- Substrát je objekt A v CCC.
- Rotace e^(iΘ) je endomorfismus A → A.
- Endoexponenciál A^A = End(A) je prostor všech rotací.
- Preaxiom je diagonála A →^Δ A×A →^μ A, kde μ = umocnění.
- Seberference je surjekce φ: A → A^A (bod, jak A obsahuje své endomorfismy).
Z Lawvereho: pokud φ je bodově surjektivní, každý endomorfismus A má pevný bod. Substrát s dostatečně bohatou seberferencí (φ surjektivní) nutně obsahuje pevné body rotace — tj. stabilní stavy.
Interpretace pro KRT:
- Substrát je CCC s surjektivní φ: A → A^A
- Foton generace 0 = konkrétní endomorfismus e^(iΘ)
- Jeho pevný bod = preaxiomatická stabilita (substrát sám sebe udržuje)
- Eliptické body i, ρ na ℍ² = pevné body S a T ∈ SL(2,ℤ), což jsou endomorfismy substrátu
- Existence eliptických bodů (2,3) je důsledek Lawvereho věty, ne ad hoc
V. Typová hierarchie jako obrana proti Lawvereovi
Systém jednoduchých typů seberferenci zakazuje strukturálně: pokud x má typ α, vyžaduje xx, aby α = α → β, což nemá finitní řešení.
Jediné modely jsou Scottovy reflexivní domény D ≅ D → D (kontinuální domény, 1969).
Girardův paradox (1972): naivní axiom Type : Type zavede impredikativní seberferenci, která přes Lawvereho generuje přesně totéž, co Russell v teorii množin. Martin-Löfova typová hierarchie Type₀ : Type₁ : Type₂ : … je obranou proti Lawvereho větě tím, že zakazuje surjekci, která by ji aktivovala.
Důsledek pro KRT: KRT substrát musí být reflexivní doména (D ≅ D → D), ne jednoduše typovaný. Netypovaný λ-kalkul je CCC, v níž skutečně existuje surjekce Λ → Λ^Λ, a Y-kombinátor je uniformní konstruktor pevných bodů.
Substrát KRT = netypovaný λ-kalkul, rozšířený o rotaci e^(iΘ) jako specifický endomorfismus.
VI. Multihodnotovost z^z jako ontologická nutnost
Přechod do ℂ odhaluje geometrický rozměr seberference. Pro z ≠ 0:
$$z^z := \exp(z \cdot \log z), \quad \log z = \ln|z| + i(\arg z + 2\pi k), \quad k \in \mathbb{Z}$$
Na Riemannově ploše má z^z spočetně mnoho hodnot:
$$z^z_k = z^{z_0} \cdot e^{2\pi i k z}$$
Branch cut není technický detail — je to ontologická nutnost.
Paradigmatický příklad: i^i.
$$i = \exp(i\pi/2 + 2\pi i k) \Rightarrow i^i = \exp(-\pi/2 - 2\pi k)$$
Pro k = 0: i^i = e^(−π/2) ≈ 0.2079. Reálné transcendentní číslo (Gelfond-Schneider). Pro k ≠ 0: jiné reálné hodnoty.
Sebe-umocnění imaginární jednotky generuje nekonečnou sekvenci reálných transcendentních čísel — celá Riemannova plocha z^z je nekonečně listová spirálová rampa.
Propojení s KRT:
- Projekce A3 (observer měří Re(τ)) = volba listu Riemannovy plochy
- Branch cut = volba reprezentanta, nutná pro definici projekce
- i^i = e^(−π/2) = kvantifikace ztráty na principal branch
- Volba k = Level 2 observačního řezu z rez-a-prvni-chyba.md
V terminologii Yanofského: volba větve je „choice of lift" — analogie s volbou surjekce φ v Lawvereho větě. V obou případech sebereference není bodová, ale topologická.
VII. (e^π)^(e^π) — na hranici matematiky
Compass artifact připomíná: (e^π)^(e^π) ≈ 3.66 × 10³¹ je otevřený problém. Nevíme, zda je iracionální.
- e^π (Gelfondova konstanta) je transcendentní (Gelfond 1929)
- Nesterenko (1996): π, e^π, Γ(1/4) jsou algebraicky nezávislá nad ℚ
- Ale (e^π)^(e^π) vyžaduje transcendenci báze umocněné sama sebou — mimo dosah všech dnešních nástrojů
Schanuelova domněnka (Lang 1966) by otázku uzavřela. Waldschmidt (2000): důkaz „zdá se být mimo dosah".
Interpretace v KRT: (e^π)^(e^π) je krajní instance preaxiomu — seberference aplikovaná na transcendentní bázi. Fakt, že matematika tento objekt neumí popsat, je matematická stopa téhož limitu, který v KRT nazýváme A3 (projekce pozorovatele). Plná hloubka seberference je principiálně nepřístupná — i matematicky.
VIII. P6 (formalizace preaxiomu) — směr
Dosud byl P6 stopový: „preaxiom je filosofický koncept, nikoli formální axiom."
Teď víme, kam jít:
- Formální jazyk: kartézsky uzavřená kategorie (CCC) s netypovanou λ-kalkulovou strukturou
- Diagonální morfismus: μ∘Δ, kde μ = umocnění
- Endoexponenciál: A^A = End(A) = prostor seberferencí
- Lawvereho věta: garantuje existenci pevných bodů (eliptické body, stabilní stavy)
- Riemannova plocha z^z: geometrická realizace multihodnotovosti
- Branch cut: volba listu = observační řez = A3
P6 už není filosofie. Je to konkrétní program: formalizovat KRT substrát jako reflexivní doménu v netypovaném λ-kalkulu, s rotací jako distingvovaným endomorfismem a SL(2,ℤ) jako grupou symetrií, a ukázat, že Lawvereho věta vynucuje existenci eliptických bodů (2,3) jako pevných bodů.
Honest flags
- Lawvereho věta je standardní matematika. Aplikace na KRT substrát je nová.
- „KRT substrát = reflexivní doména" je hypotéza, ne theorem. Vyžaduje formální konstrukci funktoru mezi CCC strukturou a τ-geometrií.
- „Existence (2,3) z Lawvereho" je kandidát — věta říká, že pevné body existují, ale neříká, kolik a jakého řádu. Propojení na eliptické řády PSL(2,ℤ) vyžaduje další argument.
- (e^π)^(e^π) jako „matematická stopa A3" je interpretační analogie, ne formální tvrzení. Struktura je konzistentní (oba jsou limity seberference), ale kauzální propojení chybí.
- Multihodnotovost z^z = choice of lift je standardní komplexní analýza. Nová je interpretace „branch cut = observační řez Level 0 v KRT".
Návaznost
- seberference-x-na-x.md — KRT preaxiom x^x = "čas je možnost aplikovaná sama na sebe"
- rez-a-prvni-chyba.md — branch cut jako Level 0, multihodnotovost z^z jako ontologická nutnost
- foton-proziva-delku.md — substrát jako foton generace 0, seberference fotonu
- theta-formalizace.md — dΘ ≠ 0 je hlubší kompatibilní s A^A strukturou
- tri-mista-ctyri-sily.md — eliptické body (2,3) jako pevné body Lawvereho věty (kandidát)
- paper-draft-v1.md — Open problem 6 (formalizace preaxiomu) má konkrétní směr
Zdroj podnětu: compass artifact (18.4.2026) — „Když se operace potká sama se sebou: diagonála a^a mezi nekomutativitou a sebereferencí".