Dependency tree

An arrow runs from a page to a page that rests on it: page B points at page A when some result on A depends, through the item graph, on a result whose home is B. Only pages in category-theory are shown; anything this group rests on from elsewhere in the library is listed below.

Pages, prerequisites first

• Categories, Functors and Natural TransformationsExamples & counterexamples →

Rests on other groups

• Categories, Functors and Natural Transformations rests on Binary Operations, Monoids, Groups and Subgroups, Compactness in Metric Spaces, Completeness, Completion, and Uniform Continuity, Connectedness, Construction of the Natural Numbers, Construction of the Real Numbers via Cauchy Sequences, Continuity, IVT, EVT, and Uniform Continuity, Cosets, Index and Lagrange's Theorem, Countability and Uncountability, Filters and Ultrafilters, Finite Counting, Factorials and Binomial Coefficients, Foundations of the Real Numbers for Analysis, Homotopy and Homotopy Equivalence, Limits of Real Functions, Linear Independence, Bases and Dimension, Linear Transformations, Rank-Nullity and Quotient Spaces, Metric Spaces, Modules, Submodules, Quotient Modules and the Isomorphism Theorems, Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness, Normal Subgroups and Quotient Groups, Order, Zorn's Lemma, and the Axiom of Choice, Ordinals, Cardinals, and Transfinite Recursion, Rⁿ as a Normed Space; Vector-Valued Functions, Relations, Functions, and Quotients, Rings, Subrings, Integral Domains and Fields, Roots, Rational Powers, and Classical Inequalities, Sequences and Limits, Subspaces, Products, and Quotients, Suprema and Infima, The Fundamental Group, The ZFC Axioms and the Basic Set Constructions, Topological Spaces and Continuity, Topology of ℝ, Vector Spaces, Linear Subspaces, Span and Direct Sums
• Categories, Functors and Natural Transformations — Examples rests on Binary Operations, Monoids, Groups and Subgroups, Compactness in Metric Spaces, Completeness, Completion, and Uniform Continuity, Connectedness, Construction of the Natural Numbers, Construction of the Real Numbers via Cauchy Sequences, Continuity, IVT, EVT, and Uniform Continuity, Cosets, Index and Lagrange's Theorem, Countability and Uncountability, Determinants of Matrices over a Commutative Ring, Filters and Ultrafilters, Finite Counting, Factorials and Binomial Coefficients, Foundations of the Real Numbers for Analysis, Free Groups and Presentations, Group Actions, Orbits, Stabilisers and Cayley's Theorem, Group Homomorphisms and the Isomorphism Theorems, Homotopy and Homotopy Equivalence, Limits of Real Functions, Linear Independence, Bases and Dimension, Linear Transformations, Rank-Nullity and Quotient Spaces, Matrices, the Matrix of a Linear Map, and Change of Basis, Metric Spaces, Modules, Submodules, Quotient Modules and the Isomorphism Theorems, Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness, Normal Subgroups and Quotient Groups, Order, Zorn's Lemma, and the Axiom of Choice, Ordinals, Cardinals, and Transfinite Recursion, Rⁿ as a Normed Space; Vector-Valued Functions, Relations, Functions, and Quotients, Rings, Subrings, Integral Domains and Fields, Roots, Rational Powers, and Classical Inequalities, Sequences and Limits, Subspaces, Products, and Quotients, Suprema and Infima, Symmetric Groups, Cycle Decomposition and the Sign Homomorphism, The Fundamental Group, The ZFC Axioms and the Basic Set Constructions, Topological Spaces and Continuity, Topology of ℝ, Vector Spaces, Linear Subspaces, Span and Direct Sums