한
Algebra · Concept hub

Category Theory

1945 CE20th-century United States (Eilenberg and Mac Lane)

Departure question

Move sameness aroundPort 4 of 8

“Through Category Theory: How can we recognize the same structure inside different problems?”

Use rotations, permutations, matrices, and categories to read transformation rules and relationships rather than appearances.

An editorial avatar of Grothendieck preserving his high forehead, dark glasses, emerald local layers, and amber morphism bridge

Continue this question through a person

Alexander Grothendieck

This voyage is an editorial path for understanding, not a claim of direct historical influence or sole invention.

Understand it in one breath

"Find the same relational structure across different fields." Groups with homomorphisms, topological spaces with continuous maps, and sets with functions can all be viewed as objects plus composable arrows. A functor preserves identities and composition, letting us compare structures between categories. Haskell's Functor and Monad type classes are inspired by these ideas rather than literal implementations of all their mathematics.

At a glance

fgg'f'ABCDCommutative diagram — f′ ∘ g = g′ ∘ fEvery path gives the same result: the two compositions agree

Concept

A language centred on objects, morphisms, and composition, used to compare recurring structures across mathematical fields.

Key formula

F:C→D,F(g∘f)=F(g)∘F(f)F: \mathcal{C} \to \mathcal{D},\quad F(g \circ f) = F(g) \circ F(f)

Modern applications

Functional programming in Haskell and Scala, the GHC compiler, and database-schema transformations.

Beyond MathVoyage

Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.

No concept belongs to one person

Follow people who played different roles

These are not inventor credits. They are different ports: opening a problem, sharpening a language, or carrying it into another world.

An editorial avatar of Grothendieck preserving his high forehead, dark glasses, emerald local layers, and amber morphism bridge
Primary next port

Alexander Grothendieck

Open this person’s scenes

Number lenses

A concept looks different when its world of numbers changes

These numbers are editorial lenses for the voyage, not required prerequisites.

ℤ

Integers

Use rotations, permutations, matrices, and categories to read transformation rules and relationships rather than appearances.

Open the number voyage

ℂ

The Complex Plane

Use rotations, permutations, matrices, and categories to read transformation rules and relationships rather than appearances.

Open the number voyage

ℍ

Quaternions

Use rotations, permutations, matrices, and categories to read transformation rules and relationships rather than appearances.

Open the number voyage

Concept genealogy

What supports it, and what does it open?

Concepts arriving from before

Group TheorySet Theory

Current port

Category Theory

Concepts opened from here

No direct successor port is curated yet.

Only direct editorial links are shown; this is not a complete learning order or historical influence line.