View source for Broken/Algebraic Mathematics and Logics

{{saved book
 |title=Algebraic Logic and Algebraic Mathematics
 |subtitle=
 |cover-image=Parabola & cubic curve in projective space.png
 |cover-color=MediumTurquoise 
 |bug=Bundling process died with non zero code: 1
}}

== 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
:Many-valued logic
:[[Quantum logic]]
:Quantum computer

;Abstract Algebra
:[[Abstract algebra]]
:[[Universal algebra]]
:Heyting algebra
:[[MV-algebra]]
:[[Group algebra]]
:[[Lie algebra]]
:[[Affine Lie algebra]]
:[[Lie group]]
:[[Lie algebroid|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
:[[Physics:Representation theory of the Lorentz group|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
:[[Physics:Quantum inverse scattering method|Quantum inverse scattering method]]
:[[Yangian]]
:[[Exterior algebra]]
:[[Superalgebra]]
:[[Supergroup (physics)|Supergroup]]
:[[Noncommutative quantum field theory]]
:[[Physics:Standard Model|Standard Model]]
:[[Physics:Noncommutative standard model|Noncommutative standard model]]
:[[Noncommutative geometry]]

;Algebraic Geometry and Analytic Geometry
:[[Algebraic geometry]]
:[[List of algebraic geometry topics]]
:[[Duality (projective geometry)|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 (category theory)|Dual]]
:Abelian category
:Functor
:[[Yoneda lemma]]
:Limit
:Adjoint functors
:Natural transformations
:[[Variety (universal algebra)|Variety]]
:Domain theory
:[[Enriched category]]
:Topos
:Descent
:Stack
:[[Categorical logic]]
:[[Timeline of category theory and related mathematics]]
:[[List of important publications in mathematics]]

;Higher Dimensional Algebras
:[[Higher-dimensional algebra]]
:[[Higher category theory]]
:[[Physics:Duality (mathematics)|Duality]]
 
[[Category:Algebra|β]]

{{Sourceattribution|Book:Algebraic Mathematics and Logics}}