homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
equality (definitional, propositional, computational, judgemental, extensional, intensional, decidable)
isomorphism, weak equivalence, homotopy equivalence, weak homotopy equivalence, equivalence in an (∞,1)-category
Examples.
Two matrices $A,B \in Mat_{n \times m}(R)$ are called matrix equivalent if there exist invertible matrices $P \in GL(n,R)$, $Q \in GL(m,R)$ such that $A_2$ equals the matrix product
matrix congruence?
See also
Created on September 19, 2018 at 09:10:30. See the history of this page for a list of all contributions to it.