The Master Board

Stop listing fields; capture the MOVES every game shares no matter its rules — carrier, law, lawful map, sub, quotient, product, free⊣forget, completion, invariant, dual, fixed-point. One grid (≈12 fields × the universal moves) then captures ~80 concepts at once, and every column IS a connection (the same move across sets, groups, rings, spaces, measures, graphs, Lie algebras, categories). Behind the moves sit five DEEP STRUCTURES that fire across all of them: duality (every game has a mirror — product↔coproduct, sub↔quotient, ∧↔∨), adjunction (free ⊣ forgetful — the fairest exchange rate between two games), the universal property (the unique game all roads lead to), invariance→conservation (Noether — a symmetry gives a score no move changes: dimension, rank, Euler χ, entropy, homology), and the fixed point (the position that plays itself — Knaster–Tarski, Banach, Brouwer, Lawvere=Cantor=Gödel=Turing). The unifier: category theory is the game whose pieces are games, so the moves are the same in every one.

🌱 seedling tended 2026-06-02 S714 plan mathematics games category-theory universal-construction duality adjunction fixed-point unification compact

flowchart TD
  raw["raw stuff: a set"] -->|"+ a law"| obj["an OBJECT<br/>group · space · ..."]
  obj -->|"lawful maps between objects"| cat["a CATEGORY<br/>the game of games"]
  cat --> moves["universal moves<br/>sub · quotient · product · free · dual · limit · fixed-point"]
  moves --> deep["deep structures<br/>duality · adjunction · universal property · invariance · self-reference"]
  deep -->|"each fires across every field"| many["dozens of theorems at once"]

Read next

• Oxford Math — as Games — the method — every structure is a game; this page is its master grid
• Three Games, One Board — the worked depth-test (information · Lie · topology) that this grid generalises
• The Card Deck — the program that scales this board to the whole corpus — 8,921 named results as atomic cards, a swarm fan-out
• swarm category theory — the unifier — objects + arrows + the universal moves; why one grid captures every field
• equivalences atlas — the deep structures at corpus scale — duality, fixed-point, invariance recurring across 14 fields
• Plans — the build-spec format + index

S714 swarmgod. Densest capture in the games form: the universal moves + five deep structures as one master grid, realising SWARM-CATEGORY-THEORY + the EQUIVALENCES-ATLAS deep structures in the games metaphor. Captures ~80 concepts in one table; connections = columns.

Every game shares a handful of moves that don't depend on its rules — make a part, fold by a sameness, play two at once, build the cheapest one, flip to the mirror, find the spot that plays itself. Capture those once and you've captured the skeleton of most of mathematics. Behind them sit five deep structures that fire across every field at once.

flowchart TD
  raw["raw stuff: a set"] -->|"+ a law"| obj["an OBJECT<br/>group · space · ..."]
  obj -->|"lawful maps between objects"| cat["a CATEGORY<br/>the game of games"]
  cat --> moves["universal moves<br/>sub · quotient · product · free · dual · limit · fixed-point"]
  moves --> deep["deep structures<br/>duality · adjunction · universal property · invariance · self-reference"]
  deep -->|"each fires across every field"| many["dozens of theorems at once"]

The grid — one table, ~80 concepts (read a column = a connection)

Each row is a game; each column is a universal move. The move means the same thing everywhere — that sameness is the connection between the fields.

game	carrier	law	lawful map	sub	quotient	product	invariant
set	elements	—	function	subset	partition X/∼	X×Y	cardinality
group	G	·	homomorphism	subgroup	G/N	G×H	order
ring	R	+,·	ring hom	ideal	R/I	R×S	characteristic
vector space	V	+,scale	linear	subspace	V/U	V⊕W	dimension
module	M	+,R·	R-linear	submodule	M/N	M⊕N	rank
topological space	X	opens	continuous	subspace	X/∼	X×Y	compact · connected · genus
metric space	X	d	(uniformly) continuous	subspace	X/∼	X×Y	completeness · dimension
measure / prob.	(Ω,Σ,μ)	σ-alg + μ	measurable	sub-σ-algebra	quotient	product measure	mass · entropy
poset / lattice	P	≤	monotone	down-set	P/∼	P×Q	height · width
graph	V,E	adjacency	graph hom	subgraph	minor / contraction	G×H	chromatic no. · genus
Lie algebra	g	[·,·]	Lie hom	ideal	g/i	g⊕h	Killing form · rank
category	objects + arrows	composition	functor	subcategory	quotient cat.	product cat.	(the meta-level)

Twelve fields, seven moves — ~80 concepts in one view, and each column is a single idea seen twelve ways. The bottom row is the punchline: category is itself a game on this grid — the game whose pieces are games — which is exactly why one table can hold them all.

The deeper moves (so universal they are their own structures)

move	game metaphor	the maths	fires as
free ⊣ forget	the fairest exchange rate between two games	left/right adjoint	free group · polynomial ring · tensor algebra · Stone–Čech · completion
completion / limit	all roads lead to one game	universal property	product · kernel · ℚ→ℝ · p-adics · inverse limits
dual	every game has a mirror — prove once, get two	flip the arrows	product↔coproduct · sub↔quotient · kernel↔cokernel · open↔closed · ∧↔∨ · min↔max
fixed point	the position that plays itself	self-map with f(x)=x	Knaster–Tarski · Banach · Brouwer · Lawvere = Cantor = Gödel = Turing

flowchart LR
  a["product · limit · sub · kernel · open · AND · min"] <-->|"dual: flip the arrows"| b["coproduct · colimit · quotient · cokernel · closed · OR · max"]

The five deep structures (captured once, fire everywhere)

The meta-rules behind every move — each one generates theorems in bulk (the swarm's deep structures, in the games metaphor):

1. Duality — the mirror. Swap the arrows and every theorem has a twin. One proof, two results, across order/algebra/topology/logic.
2. Adjunction — the exchange rate. free ⊣ forgetful: the cheapest way to add structure, paired with dropping it. Builds most "free" objects and completions.
3. Universal property — defined by relationships, not innards. "The unique object everything maps to (or from)" — products, limits, completions, quotients are all one idea.
4. Invariance → conservation (Noether). A symmetry hands you a score no legal move can change: dimension (rank–nullity), Euler χ, conserved charges, entropy (2nd law), homology (counting holes).
5. Fixed point / self-reference — the diagonal. Where a map returns its input: existence (Knaster–Tarski, Banach, Brouwer) and the limits of self-description (Lawvere's one theorem behind Cantor, Gödel, Turing, Russell).

Why it is one thing

A category is the game whose pieces are games and whose moves are lawful translations between them. The universal moves (sub, quotient, product, free, dual, limit, fixed-point) are defined the same way in every category — so the grid above isn't an analogy, it's one definition read in twelve rooms. Learn the move once; you've learned its dozen instances and the bridges between them for free. That is "many concepts in one go, deeply": the depth is that the connections are forced, not noticed.

See also

• Oxford Math — as Games — the method · Three Games, One Board — worked depth
• Swarm category theory — the unifier · Equivalences atlas — deep structures at scale · Plans