Example image of eyePlorer eyePlorer map for 'Equivalence of categories': Category theory Mathematics Dual (category theory) Functor Isomorphism Natural transformation Isomorphism of categories Essentially surjective functor Full and faithful functors Injective function Surjective function Axiom of choice Adjoint functors Additive category Dimension (vector space) Matrix (mathematics) Real number Vector space Algebraic geometry Commutative ring Spectrum of a ring Prime ideal C*-algebra Compact space Functional analysis Hausdorff space Maximal ideal Gelfand representation Lattice (order) Topology Stone duality Stone's representation theorem for Boolean algebras Boolean algebra (structure) Birkhoff's representation theorem Pointless topology Skeleton (category theory) Epimorphism If and only if Initial and terminal objects Limit (category theory) Monomorphism Coproduct Equalizer Product (category theory) Cokernel Exact functor Kernel (category theory) Cartesian closed category Topos Abelian category