/ Axiom / Basis (linear algebra) / Bijection / Brown's representability theorem / Cardinal number / cardinality / Category of abelian groups / Chain complex / cohomology / Coproduct / Corollary / Counterexample / derived category / Derived functor / Diagram (category theory) / Direct sum / Discrete valuation ring / Duality (mathematics) / Equivalence class / Existence theorem / Existential quantification / factorization / functor / Functor category / Grothendieck category / Grothendieck's Tôhoku paper / Group homomorphism / Homological algebra / homotopy / Homotopy category / Homotopy category of chain complexes / Homotopy colimit / I0 / Injective function / Injective object / Isomorphism class / Limit (category theory) / Limit ordinal / Linear Map / Mapping cone (homological algebra) / mathematical induction / MATHEMATICS / Algebra / General / MATHEMATICS / Geometry / Algebraic / Monomorphism / N0 / Natural transformation / Open set / Partially ordered set / Prime number / Projective object / Quotient category / Regular cardinal / special case / Spectral sequence / Subcategory / Subobject / Subsequence / Successor Ordinal / Summation / Tensor Product / Theorem / Transfinite / transfinite induction / Triangulated category / Universal Property / Yoneda Lemma