Algebraic Topology
Pathway
Pages are grouped by how many dependency steps into this group they sit. Everything a page needs from this group appears above it.
Level 0
1 pageThis page fixes the library's foundational simplicial convention at the level of abstract simplicial complexes: faces are determined by their vertex sets, the empty face is…
13 definitions, 9 lemmas, 4 propositions, 3 theorems, 1 corollaryExamples & counterexamples →