Manual:Algebraic Mathematics and Logics
From HandWiki
Algebraic Logic and Algebraic Mathematics
Algebraic Logic
- Boolean algebra
- Algebraic logic
- Łukasiewicz logic
- Intuitionistic logic
- Mathematical logic
- Heyting arithmetic
- Metatheory
- Metalogic
Quantum Logics and Quantum Computers
Abstract Algebra
- Abstract algebra
- Universal algebra
- Heyting algebra
- MV-algebra
- Group algebra
- Lie algebra
- Affine Lie algebra
- Lie group
- Algebroid
Quantum Algebra and Geometry
- Quantum affine algebra
- Clifford algebra
- Von Neumann algebra
- C*-algebra
- Kac–Moody algebra
- Hopf algebra
- Quantum group
- Group representation
- Unitary representation
- Representation theory of the Lorentz group
- Stone–von Neumann theorem
- Peter–Weyl theorem
- Quasi-Hopf algebra
- Quasitriangular Hopf algebra
- Ribbon Hopf algebra
- Quasi-triangular Quasi-Hopf algebra
- Quantum inverse scattering method
- Yangian
- Exterior algebra
- Superalgebra
- Supergroup
- Noncommutative quantum field theory
- Standard Model
- Noncommutative standard model
- Noncommutative geometry
Algebraic Geometry and Analytic Geometry
- Algebraic geometry
- List of algebraic geometry topics
- Duality
- Universal algebraic geometry
- Grothendieck topology
- Grothendieck–Hirzebruch–Riemann–Roch theorem
- Algebraic geometry and analytic geometry
- Differential geometry
Algebraic Topology, Group Theory and Groupoids
- Algebraic topology
- Groupoid
- Group theory
- Abelian group
- Galois group
- Grothendieck group
- Esquisse d'un Programme
- Galois theory
- Grothendieck's Galois theory
- Galois cohomology
- Homological algebra
- Homology theory
- Homotopical algebra
- De Rham cohomology
- Crystalline cohomology
- Cohomology
- K-theory
- Algebraic K-theory
- Topological K-theory
== Category Theory and Categorical Logic ==
- Category theory
- Category
- Glossary of category theory
- Dual
- Abelian category
- Functor
- Yoneda lemma
- Limit (mathematics)
- Adjoint functors
- Natural transformations
- Variety
- Domain theory
- Enriched category
- Topos
- Descent
- Stack
- Categorical logic
- Timeline of category theory and related mathematics
- List of important publications in mathematics