Categorial Geometry and Algebraic Topology

✨

This is an AI-generated explanation of the paper below. It is not written by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Idea: Turning Logic into a Landscape

Imagine you have a giant, complex map of a city. In standard mathematics (specifically Category Theory), this map is usually just a list of places (objects) and the rules for how you can travel between them (arrows/morphisms). Usually, we treat these rules as abstract logic: "If you are at A, you can go to B."

Majkić asks a bold question: What if we treat this logical map like a physical landscape?

He proposes that every category (a collection of things and rules) is actually a 3D geometric space.

The Objects (the "things") are like cities or towns sitting on a flat 2D plane.
The Arrows (the "rules" or "paths") are not just lines on paper. They are floating bridges or tunnels that rise up into the 3rd dimension (the air) to connect these towns.

The Problem with the Old Map (Grothendieck's Approach)

The paper starts by saying that the famous mathematician Alexander Grothendieck tried to do something similar, but his method was like trying to describe a city by only looking at the zoning laws (which areas are open or closed). It was too abstract and didn't capture the actual "roads" (arrows) connecting the places.

Majkić argues: "No, let's look at the roads themselves." He wants to build a geometry where the arrows are the primary building blocks, just like in physics where space is made of paths and connections.

The New Map: The "Cat-Arrows" Space

Majkić invents a new kind of geometry called Cat-algebra. Here is how it works in simple terms:

1. The Roads are Vectors

In normal geometry, a "vector" is an arrow with a length and a direction. In Majkić's world, every arrow in a category is a vector.

The "Length" of a Road: In normal math, length is measured in meters. In this logical world, the "length" of an arrow is simply how many basic steps it takes to get there.
- A direct road from Town A to Town B has a length of 1.
- A road that goes A → C → B is a "composite" road. Its length is 2 (because it's made of two steps).

2. Adding Roads (The "⊕" Operation)

In normal math, you can add two vectors together to get a new one. In Majkić's world, you can only "add" two roads if they connect perfectly.

If Road A ends at Town X, and Road B starts at Town X, you can combine them into one long road (A + B).
If Road A ends at Town X, but Road B starts at Town Y, you cannot add them. They don't connect.
Analogy: It's like trying to connect a train track from New York to Chicago with a train track from London to Paris. They just don't fit.

3. The "Dot Product" (Are Roads Parallel or Perpendicular?)

In physics, two vectors are "perpendicular" (at a 90-degree angle) if they don't affect each other. Majkić redefines this for logic:

Parallel Roads: Two roads are "parallel" if you can travel one after the other (A → B → C). They are part of the same journey.
Perpendicular Roads: Two roads are "perpendicular" if they cannot be connected at all. They are completely separate journeys.
The Magic: This means "angle" in this world isn't about degrees (like 45° or 90°). It's about connectivity. If you can't chain them together, they are "at right angles" to each other.

The "Clifford" Connection: The Secret Sauce

The paper gets technical here, but the core idea is beautiful. Majkić shows that if you play with these "logical roads" using his new rules for adding and multiplying them, they behave exactly like Clifford Geometric Algebra (a powerful math system used in physics to describe rotation and space).

The Twist: In normal physics, you can spin a vector or stretch it. In Majkić's "Cat-space," you can't stretch a road (you can't multiply it by a number like 2.5). But, the rules of how they interact (how they multiply and combine) follow the exact same deep mathematical patterns as the geometry of the universe.

Why Does This Matter? (The "Gravity" Analogy)

The paper draws a fascinating parallel to Einstein's General Relativity:

In Physics: Mass and energy curve space. A planet bends the fabric of spacetime, changing how things move.
In Majkić's Logic: "Adjunctions" (a complex category theory concept) act like mass. They curve the "logical space."
- If a category has no adjunctions, it's a flat, boring grid.
- If it has adjunctions, the logical space "bends," changing how objects relate to each other.

The Takeaway

Majkić is essentially saying: Logic has a shape.

He has built a dictionary that translates the abstract language of "Objects and Arrows" into the physical language of "Points, Paths, Lengths, and Angles."

Objects = Cities on a map.
Arrows = Bridges floating in 3D space.
Composition = Driving from one bridge to another.
Orthogonality = Two roads that can never meet.

By doing this, he hopes to use the powerful tools of geometry and physics to solve problems in pure logic and computer science, and perhaps even understand the "geometry of thought" itself. It's a bridge between the world of abstract math and the physical world of space and time.

1. Problem Statement

The paper addresses a fundamental gap in the geometric interpretation of category theory. While category theory is deeply intertwined with algebraic topology and geometry (e.g., via Grothendieck topologies, sheaves, and toposes), existing approaches fail to define a universal "Metacategory space" that represents all categories as geometric objects in a unified way.

Limitations of Existing Approaches: The author argues that Grothendieck's approach, which treats categories as schemes or ringed spaces (where objects are open sets and arrows are inclusions), is insufficient for a general Metacategory. Grothendieck's method focuses on the "points" of a space (elements of sets) and sheaf theory, which does not naturally capture the category itself as a discrete space where objects are points and arrows are oriented paths.
The Core Challenge: How to construct a geometric framework where a category is viewed as a discrete space of points (objects) connected by oriented paths (morphisms), allowing for the definition of vector-like properties (length, inner/outer products) without relying on set-theoretic elements or continuous physical space.

2. Methodology

The author proposes a "geometrization" of category theory by constructing an abstract Cat-arrows space ( $V$ ) and defining a Cat-algebra based on it. The methodology involves:

3D Metacategory Representation:
- Objects of a category $C$ are mapped to distinct points in a 2D discrete plane ( $Z_0$ ).
- Arrows (morphisms) are represented as oriented paths in a 3D subspace ( $Z \setminus Z_0$ ) connecting these points. This separates the "path" (arrow) from the "nodes" (objects) topologically.
- Commutative diagrams are defined as the 2D projection of this 3D structure.
Definition of Cat-arrows Space ( $V$ ):
- Vectors: Every non-identity arrow $f$ in the category is treated as a vector. A zero vector $O$ represents identity arrows of objects not in the specific category context.
- Partial Addition ( $\oplus$ ): Defined as the composition of arrows ( $g \circ f$ ) when domains and codomains match. This operation is partial (not defined for all pairs) and commutative in the algebraic sense (though arrow composition is non-commutative, the algebraic operation $\oplus$ is defined to satisfy specific algebraic constraints for the space).
- Norm ( $\|\cdot\|$ ): A "length" is defined based on the minimal number of "atomic" (base) vectors required to generate a specific vector via composition. For infinite categories (e.g., real numbers), a continuous metric (difference between domain and codomain) is proposed as an alternative.
Algebraic Structure Construction:
- Inner Product: Defined based on the possibility of composition. If arrows can be composed (or are identical), the inner product is non-zero (product of lengths); otherwise, it is zero (orthogonal).
- Outer (Wedge) Product: Defined for non-composable arrows, representing a "bivector" with an area equal to the product of their lengths.
- Geometric Product: A unification of inner and outer products ( $fg = f \cdot g + f \wedge g$ ), analogous to Clifford algebra, but defined over the semiring of natural numbers (or non-negative reals).

3. Key Contributions

The Cat-arrows Space ( $V$ ): A novel abstract space where the elements are category arrows, equipped with a partial commutative addition and a norm. This space is distinct from standard vector spaces because it lacks scalar multiplication and total addition.
Categorial Geometric Algebra (Cat-algebra): The author defines a graded algebra over $V$ $V$ that satisfies two fundamental properties of Clifford Geometric Algebra:
1. $e_i^2 = 1$ for base vectors (unit length).
2. $fg = -gf$ for mutually orthogonal vectors (where orthogonality is defined by the impossibility of arrow composition).
Reinterpretation of Orthogonality and Parallelism:
- Orthogonality: Two arrows are orthogonal if they cannot be composed in either order ( $g \circ f$ and $f \circ g$ do not exist).
- Parallelism: Two arrows are parallel if they are identical or if they can be composed in both orders (forming a loop or commutative path).
Analogy with Physics (Adjunction-as-Field): The paper draws a parallel between the curvature of physical spacetime (General Relativity) and the structure of categories. It suggests that adjunctions in category theory act as a "gravitational field" that curves the 3D Metacategory space, altering the positions of objects (points) and the paths between them.

4. Results

Algebraic Verification: The paper demonstrates that the constructed Cat-algebra satisfies the axioms of a commutative non-associative ring and, specifically, the conditions for a Clifford algebra over a semiring.
- Example: For orthogonal vectors $f, g$ , the geometric product yields $fg = -gf$.
- Example: For a base vector $e_i$ , $e_i^2 = \|e_i\|^2 = 1$ .
Metric Properties: The defined norm satisfies the triangle inequality. For a vector $f$ generated by $n$ base vectors, $\|f\| = n$ (or the minimum $n$ if multiple paths exist).
Handling Infinite Categories: The paper acknowledges that the discrete norm (based on counting base vectors) fails for categories with infinite objects (like $\mathbb{R}$ ). It proposes a continuous norm ( $\|f\| = \text{cod}(f) - \text{dom}(f)$ ) for such cases, allowing the extension of the geometric algebra to continuous domains.

5. Significance

Unification of Geometry and Category Theory: The paper provides a rigorous framework to view categories not just as algebraic structures, but as geometric objects with intrinsic metrics, angles (defined by composability), and curvature.
Beyond Set Theory: By defining the space without relying on the "points" of sets (elements), it adheres to the "element-free" philosophy of category theory, offering a purely structural geometric interpretation.
Bridge to Physics: The "Adjunction-as-Field" paradigm offers a potential mathematical language for unifying category theory with physical theories like General Relativity, suggesting that categorical symmetries and invariances mirror physical conservation laws (via Noether's theorem analogies).
New Algebraic Tool: The introduction of a geometric algebra over a partial, non-scalar vector space opens new avenues for applying geometric algebra techniques to algebraic topology and logic, potentially solving problems where standard vector spaces are too rigid or require unnecessary set-theoretic assumptions.

In conclusion, Majkić successfully constructs a "Metacategory space" that transcends Grothendieck's sheaf-theoretic approach, defining a Cat-algebra that mimics the structural properties of Clifford geometric algebra while remaining faithful to the discrete, compositional nature of category theory.