6.4 Examples and applications of category equivalence

Category equivalence shows how different mathematical structures can be fundamentally the same. It's like finding out two puzzles have identical solutions, just with different pieces.

This concept helps us see connections between math fields. For example, we can study topological spaces using algebraic frames, or vector spaces using matrices. It's a powerful tool for understanding math's big picture.

Category Equivalence Examples and Applications

Finite sets vs finite ordinals

• The category of finite sets $\mathbf{FinSet}$ has finite sets as objects (e.g., $\{a, b, c\}$, $\{1, 2, 3, 4\}$) and functions between them as morphisms
• The category of finite ordinals $\mathbf{FinOrd}$ has natural numbers as objects (e.g., $0$, $1$, $2$) and order-preserving functions as morphisms
  • A function $f: m \to n$ is order-preserving if $i \leq j$ implies $f(i) \leq f(j)$ for all $i, j \in m$ (e.g., $f(0) = 1$, $f(1) = 2$, $f(2) = 2$)
• An equivalence of categories exists between $\mathbf{FinSet}$ and $\mathbf{FinOrd}$
  • The functor $F: \mathbf{FinSet} \to \mathbf{FinOrd}$ maps a finite set $X$ to its cardinality $|X|$ (e.g., $F(\{a, b, c\}) = 3$) and a function $f: X \to Y$ to the unique order-preserving function $F(f): |X| \to |Y|$
  • The functor $G: \mathbf{FinOrd} \to \mathbf{FinSet}$ maps a natural number $n$ to the set $\{0, 1, \ldots, n-1\}$ (e.g., $G(3) = \{0, 1, 2\}$) and an order-preserving function $g: m \to n$ to the unique function $G(g): \{0, 1, \ldots, m-1\} \to \{0, 1, \ldots, n-1\}$
• The functors $F$ and $G$ establish an equivalence of categories by satisfying the necessary conditions:
  • Natural isomorphisms $\alpha: FG \Rightarrow 1_{\mathbf{FinOrd}}$ and $\beta: GF \Rightarrow 1_{\mathbf{FinSet}}$ exist
  • The compositions $GF$ and $FG$ are naturally isomorphic to the identity functors on $\mathbf{FinSet}$ and $\mathbf{FinOrd}$, respectively

Vector spaces vs matrices

• The category of vector spaces over a field $K$, $\mathbf{Vect}_K$, has vector spaces over $K$ as objects (e.g., $\mathbb{R}^2$, $\mathbb{C}^3$) and linear transformations as morphisms
• The category of matrices over $K$, $\mathbf{Mat}_K$, has natural numbers as objects (e.g., $2$, $3$) and matrices with entries in $K$ as morphisms
  • A morphism $A: m \to n$ in $\mathbf{Mat}_K$ is an $n \times m$ matrix with entries in $K$ (e.g., $\begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}: 2 \to 2$)
  • Composition of morphisms in $\mathbf{Mat}_K$ is given by matrix multiplication
• An equivalence of categories exists between $\mathbf{Vect}_K$ and $\mathbf{Mat}_K$
  • The functor $F: \mathbf{Vect}_K \to \mathbf{Mat}_K$ maps a vector space $V$ to its dimension $\dim(V)$ (e.g., $F(\mathbb{R}^3) = 3$) and a linear transformation $f: V \to W$ to its matrix representation $F(f)$ with respect to fixed bases of $V$ and $W$
  • The functor $G: \mathbf{Mat}_K \to \mathbf{Vect}_K$ maps a natural number $n$ to the vector space $K^n$ (e.g., $G(2) = K^2$) and a matrix $A: m \to n$ to the linear transformation $G(A): K^m \to K^n$ defined by matrix multiplication
• The functors $F$ and $G$ establish an equivalence of categories by satisfying the necessary conditions for natural isomorphisms between $FG$, $GF$, and the respective identity functors

Topological spaces vs frames

• The category of topological spaces $\mathbf{Top}$ has topological spaces as objects (e.g., $\mathbb{R}$, $[0, 1]$) and continuous functions as morphisms
• The category of frames $\mathbf{Frm}$ has frames (complete lattices satisfying the infinite distributive law) as objects and frame homomorphisms as morphisms
  • A frame homomorphism $f: L \to M$ preserves finite meets and arbitrary joins (e.g., $f(a \wedge b) = f(a) \wedge f(b)$, $f(\bigvee_{i \in I} a_i) = \bigvee_{i \in I} f(a_i)$)
• An equivalence of categories exists between $\mathbf{Top}$ and $\mathbf{Frm}^{\mathrm{op}}$, the opposite category of $\mathbf{Frm}$
  • The functor $\Omega: \mathbf{Top} \to \mathbf{Frm}^{\mathrm{op}}$ maps a topological space $X$ to its frame of open sets $\Omega(X)$ (e.g., $\Omega(\mathbb{R})$ is the frame of open sets in $\mathbb{R}$) and a continuous function $f: X \to Y$ to the frame homomorphism $\Omega(f): \Omega(Y) \to \Omega(X)$ given by $\Omega(f)(U) = f^{-1}(U)$
  • The functor $\mathrm{Pt}: \mathbf{Frm}^{\mathrm{op}} \to \mathbf{Top}$ maps a frame $L$ to its space of points $\mathrm{Pt}(L)$ (the set of frame homomorphisms from $L$ to the two-element frame $\{0, 1\}$) and a frame homomorphism $f: L \to M$ to the continuous function $\mathrm{Pt}(f): \mathrm{Pt}(M) \to \mathrm{Pt}(L)$ given by $\mathrm{Pt}(f)(p) = p \circ f$
• The functors $\Omega$ and $\mathrm{Pt}$ establish an equivalence of categories between $\mathbf{Top}$ and $\mathbf{Frm}^{\mathrm{op}}$, with natural isomorphisms between $\Omega \mathrm{Pt}$, $\mathrm{Pt} \Omega$, and the respective identity functors

Implications of category equivalence

• Category equivalence allows for the transfer of properties and results between equivalent categories
  • If two categories $\mathcal{C}$ and $\mathcal{D}$ are equivalent, then any categorical property or construction in $\mathcal{C}$ has a corresponding property or construction in $\mathcal{D}$, and vice versa (e.g., limits, colimits, adjunctions)
  • This enables the study of a mathematical object or structure in a different, possibly more convenient, setting (e.g., studying topological properties using frames)
• In algebra, category equivalence can relate different algebraic structures
  • The equivalence between $\mathbf{Vect}_K$ and $\mathbf{Mat}_K$ allows for the study of linear algebra using matrix representations
  • Similar equivalences exist between other algebraic categories (e.g., the category of groups and the category of group representations)
• In topology, category equivalence provides a connection between spatial and algebraic aspects of topological spaces
  • The equivalence between $\mathbf{Top}$ and $\mathbf{Frm}^{\mathrm{op}}$ relates the geometric properties of spaces to the algebraic properties of their lattices of open sets
  • This equivalence is a key ingredient in pointless topology, which studies topological spaces through their frames of open sets rather than their points
• Category equivalence also plays a role in the study of dualities between mathematical theories
  • Dualities often arise from equivalences between a category and its opposite category (e.g., the equivalence between $\mathbf{Top}$ and $\mathbf{Frm}^{\mathrm{op}}$)
  • These dualities allow for the translation of problems and results between seemingly different areas of mathematics, providing new insights and proof techniques (e.g., Stone duality, Gelfand duality)