Categorial Geometry and Algebraic Topology

Dit artikel introduceert een categorische geometrie waarbij categorieën worden opgevat als discrete ruimten met pijlen als paden, en definieert een Cat-arrows-ruimte met een inproduct en een uitwendig product die fundamentele eigenschappen van Clifford-geometrische algebra vertoont.

De kern

De Grote Idee: Wiskunde als een Reisboek

Stel je voor dat wiskunde niet alleen gaat over getallen en formules, maar over reizen.

In de wereld van de Categorietheorie (een tak van de wiskunde die alles verbindt), hebben we twee soorten dingen:

1. Bestemmingen (Objecten): Dit zijn de plekken waar je naartoe wilt. In de wiskunde noemen ze ze "objecten".
2. Routes (Pijlen/Arrows): Dit zijn de wegen die je van de ene bestemming naar de andere nemen.

Normaal gesproken kijken wiskundigen naar de inhoud van die bestemmingen. Maar Majkić zegt: "Nee, kijk niet naar wat er in de kofferbak zit. Kijk alleen naar de routes zelf."

Het Probleem: De Oude Kaart is Verkeerd

Vroeger probeerden wiskundigen (zoals de beroemde Alexander Grothendieck) deze routes te beschrijven alsof het een heel complex landschap was met gebouwen, straten en muren (dit noemen ze "ringed spaces" of "schijven"). Ze dachten: "Om een route te begrijpen, moet je de hele stad eromheen tekenen."

Majkić zegt echter: "Dat is te ingewikkeld en werkt niet voor alles."
Hij stelt voor: Laat de stad maar weg.
Stel je voor dat je een kaart hebt waar alleen punten (de bestemmingen) en lijnen (de routes) op staan. Geen gebouwen, geen straten, alleen de lijnen. Dit is zijn "Metacategorie-ruimte". Het is een heel simpel, discreet universum.

De Nieuwe Uitvinding: De "Cat-arrows" Ruimte

Majkić gaat nog een stapje verder. Hij zegt: "Laten we deze lijnen behandelen alsof het pijlen zijn in een vectorruimte (zoals in de natuurkunde), maar dan zonder de zware natuurkunde-regels."

Hij bedenkt een nieuwe manier om naar deze pijlen te kijken:

1. De Pijlen zijn Vectoren: Elke route van punt A naar punt B is een pijl.
2. Optellen is Rijden: Als je van A naar B rijdt en vervolgens van B naar C, dan is dat "optellen" van je routes. In zijn taal: $Route(A \to B) + Route(B \to C) = Route(A \to C)$.
   • Let op: Je kunt niet zomaar elke twee routes optellen. Als de eindbestemming van de eerste route niet het startpunt is van de tweede, kun je ze niet samenvoegen. Dat is net als proberen een trein te nemen die naar Amsterdam gaat, en daar direct overstappen op een bus die naar Londen gaat zonder tussenstop. Dat kan niet.
3. De Lengte: Hoe lang is een route?
   • Een simpele route (een "atoom") heeft lengte 1.
   • Een route die bestaat uit drie simpele stukjes heeft lengte 3.
   • De "lengte" is dus gewoon het aantal stappen dat je moet zetten.

De Magische Formule: De "Cat-Algebra"

Het meest fascinerende deel is wat Majkić doet met deze pijlen. Hij pakt een idee uit de fysica en meetkunde (Clifford-algebra) en past het toe op deze abstracte routes.

In de echte wereld kun je met pijlen een inwendig product (hoeveel wijzen ze in dezelfde richting?) en een uitwendig product (hoeveel oppervlak beslaan ze samen?) berekenen.

Majkić zegt: "Laten we dat ook doen met onze wiskundige routes!"

• Parallelle Routes: Als je twee routes hebt die precies op elkaar lijken (of je kunt ze direct achter elkaar rijden), dan zijn ze "parallel".
• Loodrechte Routes: Als je twee routes hebt die totaal niets met elkaar te maken hebben (je kunt ze niet achter elkaar rijden), dan zijn ze "loodrecht" op elkaar.

Hij toont aan dat als je deze regels toepast, de wiskunde van deze routes precies dezelfde mooie eigenschappen heeft als de wiskunde van de ruimte in de fysica (zoals in Einstein's theorie).

De Analogie: Een Stadsplattegrond vs. Een Spoorwegnet

Om het heel simpel te maken:

• De oude manier (Grothendieck): Kijkt naar de stad. Hij zegt: "Elke straat is een open ruimte, elke hoek is een gebouw. We moeten de hele stad analyseren om te begrijpen hoe je van A naar B komt."
• De nieuwe manier (Majkić): Kijkt alleen naar het spoorwegnet.
  • De stations zijn de punten.
  • De rails zijn de pijlen.
  • Je kunt een trein van Station A naar B laten gaan, en dan direct door naar C.
  • Als er geen rails zijn die aansluiten, kun je niet "optellen".
  • Hij zegt: "We hoeven niet te weten hoe het station eruitziet. We hoeven alleen te weten dat de rails er zijn en hoe ze verbonden zijn."

Waarom is dit belangrijk?

Majkić probeert een brug te slaan tussen twee werelden die vaak gescheiden lijken:

1. Wiskunde (Categorietheorie): De taal van structuren en relaties.
2. Fysica (Ruimte en Tijd): De taal van de ruimte, krachten en beweging.

Hij suggereert dat de manier waarop wiskundige structuren met elkaar verbonden zijn (via deze "Cat-arrows"), precies hetzelfde werkt als hoe ruimte en tijd in het heelal werken. Net zoals zware objecten de ruimte krommen in de fysica, kunnen bepaalde wiskundige relaties (die hij "adjuncties" noemt) de "ruimte" van de wiskunde krommen.

Conclusie in één zin

Dit paper is een poging om wiskundige relaties te zien als een 3D-landschap van reizen, waarbij we de complexe gebouwen (de inhoud van de objecten) negeren en alleen kijken naar de routes zelf, en ontdekken dat deze routes zich gedragen alsof ze een eigen soort ruimte en fysica hebben.

Het is alsof je ontdekt dat het spoorwegnet van een land niet alleen een lijst van verbindingen is, maar dat het net als een levend organisme reageert op krachten, met zijn eigen wetten van "lengte", "hoek" en "kracht", zelfs zonder dat er echte treinen of rails fysiek bestaan.

Technische samenvatting

Titel: Categorische Meetkunde en Algebraïsche Topologie

Auteur: Zoran Majkić
Context: Het artikel probeert een brug te slaan tussen categorietheorie en meetkunde door categorieën te modelleren als discrete ruimtelijke structuren en een nieuwe algebraïsche structuur (Cat-algebra) te definiëren die vergelijkbaar is met Clifford-geometrische algebra.

---

1. Het Probleem

De kern van het probleem ligt in de beperkingen van bestaande benaderingen om de "ruimte" van een categorie (met name de Metacategorie, geldig voor alle categorieën) te definiëren.

• Beperking van Grothendieck: De traditionele aanpak van Alexander Grothendieck (gebaseerd op schoven, sites en ringruimten) is niet universeel toepasbaar. Deze methode behandelt objecten als verzamelingen van "punten" en definieert de ruimte via open verzamelingen en inclusions. Dit werkt goed voor toposen en algebraïsche meetkunde, maar faalt om de fundamentele structuur van een willekeurige categorie als een discrete ruimte te modelleren waarbij de pijlen (morfismen) de verbindingen (paden) zijn.
• Gebrek aan een universeel meetkundig model: Er ontbreekt een algemeen model dat elke categorie kan zien als een abstract meetkundig object bestaande uit discrete punten (objecten) en georiënteerde paden (pijlen), zonder afhankelijk te zijn van de interne structuur van de objecten (elementen).
• Doel: Het ontwikkelen van een "geometrisering" van de categorietheorie die onafhankelijk is van de element-gebaseerde definities en die algebraïsche operaties (zoals inwendige en uitwendige producten) toestaat op de pijlen van een categorie.

2. Methodologie

De auteur hanteert een benadering die de categorietheorie visualiseert als een 3D-ruimte en deze vervolgens abstracte algebraïsche structuren toepast.

• 3D-Representatie (A-ruimte):
  • Objecten van een categorie $C$ worden gepositioneerd als discrete punten in een 2D-vlak ($Z_0$).
  • Pijlen (morfismen) worden voorgesteld als georiënteerde paden in een 3D-ruimte ($Z \setminus Z_0$) die boven of onder het vlak zweven, behalve hun start- en eindpunten.
  • Dit creëert een visueel taalmodel waarbij commutatieve diagrammen projecties zijn van deze 3D-ruimte op het 2D-vlak.
• Definitie van de Cat-arrows ruimte ($V$):
  • De verzameling $V$ bestaat uit alle pijlen (morfismen) van een categorie, behalve de identiteitspijlen (die als punten worden behandeld).
  • Er wordt een "nulvector" $O$ gedefinieerd die een identiteitspijl voor een object buiten de categorie voorstelt.
• Operaties:
  • Optelling ($\oplus$): Een partiële, commutatieve operatie die overeenkomt met de samenstelling van pijlen ($g \circ f$), maar met een specifieke volgorde en voorwaarden (gedefinieerd in Definitie 2).
  • Norm ($\|\cdot\|$): Een "lengte" wordt gedefinieerd als het minimale aantal atomaire vectoren (generatoren) nodig om een pijl te vormen. Voor atomaire vectoren is de lengte 1.
  • Inwendig product ($\cdot$): Gedefinieerd op basis van de mogelijkheid tot samenstelling. Twee vectoren zijn "orthogonaal" als ze niet met elkaar kunnen worden samengesteld.
  • Uitwendig product ($\wedge$): Gedefinieerd voor vectoren die niet met elkaar kunnen worden samengesteld (niet-parallel), wat een "oppervlak" (bivector) genereert.
• Algebraïsche Structuur:
  • De auteur combineert deze operaties tot een geometrisch product $fg = f \cdot g + f \wedge g$.
  • De structuur wordt getest op de eigenschappen van een Clifford-algebra (geometrische algebra), specifiek gericht op de relatie $e_i^2 = 1$ en anticommutativiteit voor orthogonale vectoren.

3. Belangrijkste Bijdragen

1. Conceptuele Verschuiving: Het introduceren van de "Metacategorie-ruimte" als een discrete ruimte van objecten en pijlen, los van de Grothendieck-topologie. Pijlen worden hier expliciet behandeld als vectoren in een abstracte ruimte.
2. Definitie van Cat-arrows Ruimte ($V$): Een formeel kader waarin pijlen van een categorie fungeren als vectoren met een partiële optelling en een genormeerde structuur, gebaseerd op de atomaire samenstelling.
3. Cat-algebra: De definitie van een nieuwe algebraïsche structuur (Cat-algebra) die is gebaseerd op de Cat-arrows ruimte. Deze algebra gebruikt een semiring van natuurlijke getallen (in plaats van reële getallen) en definieert inwendige en uitwendige producten puur op basis van de categorische samenstellingsmogelijkheden.
4. Analogie met Fysica: De auteur trekt een parallel tussen de categorietheorie en de algemene relativiteitstheorie (GR).
   • Objecten zijn punten in de ruimte.
   • Adjuncties (adjunctions) worden gezien als een "categorisch veld" dat de ruimte kromt (vergelijkbaar met zwaartekracht).
   • Commutatieve diagrammen vertegenwoordigen de geometrie van deze kromme ruimte.

4. Resultaten

• Clifford-eigenschappen: De auteur toont aan dat de Cat-algebra twee fundamentele eigenschappen van de Clifford-geometrische algebra voldoet:
  1. Voor elke basisvector $e_i$ geldt: $e_i^2 = 1$ (gebaseerd op de norm $\|e_i\|=1$).
  2. Voor twee orthogonale vectoren $f$ en $g$ (die niet samengesteld kunnen worden) geldt: $fg = -gf$ (anticommutativiteit).
• Meetkundige Interpretatie:
  • Het inwendig product $f \cdot g$ is niet-nul als de pijlen samengesteld kunnen worden (parallelle relatie in de algebraïsche zin).
  • Het uitwendig product $f \wedge g$ is niet-nul als de pijlen niet samengesteld kunnen worden, wat een bivector met een oppervlakte gelijk aan $\|f\| \times \|g\|$ genereert.
• Geldigheid voor PO-categorieën: Het model wordt succesvol getoetst aan een partiële orde (PO) categorie, waar de "lengte" van een pijl overeenkomt met het aantal stappen in de orde, en de algebraïsche relaties kloppen.
• Beperkingen: De huidige definitie van de norm (gebaseerd op atomaire vectoren) werkt niet voor categorieën met oneindig veel objecten (zoals de reële getallen), waar geen eindige basis bestaat. De auteur stelt een alternatieve definitie voor voor dergelijke gevallen (gebaseerd op het verschil tussen codomein en domein).

5. Betekenis en Toekomstperspectief

• Fundamentele Verschuiving: Dit werk biedt een nieuwe manier om categorietheorie te benaderen: niet als een taal van verzamelingen en functies, maar als een meetkunde van discrete paden en verbindingen. Dit versterkt de link tussen algebraïsche topologie en categorietheorie.
• Unificatie met Fysica: De "adjunction-as-field" paradigma biedt een potentieel raamwerk om wiskundige theorieën (als categorieën) te koppelen aan fysieke ruimtetijd-structuren, waarbij symmetrieën en invarianten in de categorietheorie overeenkomen met behoudswetten in de fysica (Noether's theorema).
• Vervolgonderzoek: De auteur identificeert de noodzaak om de definitie van de "lengte" van vectoren uit te breiden naar categorieën met oneindige objecten (zoals continuüm-ruimten) en om te onderzoeken of de huidige algebraïsche meetkunde kan worden gegeneraliseerd naar niet-commutatieve partiële algebra's.

Conclusie:
Het artikel introduceert een innovatief "geometrisch" perspectief op de categorietheorie. Door pijlen te behandelen als vectoren in een abstracte ruimte en een algebraïsche structuur te definiëren die voldoet aan de axioma's van Clifford-algebra, creëert Majkić een brug tussen abstracte wiskunde en fysieke intuïtie. Hoewel er beperkingen zijn voor oneindige categorieën, biedt het een krachtig nieuw instrument voor het analyseren van symmetrieën en structuren binnen de wiskunde.