User:Joshua.goller/Books/The Road to Totality

A Handbook for Cosmological Domination

 * XX - Mathematics
 * Group Theory
 * Linear Algebra
 * Complex Analysis
 * Differential Geometry
 * Monstrous Moonshine
 * Type Theory
 * Logic, Models, and Proofs
 * Category Theory
 * Adjoint functors


 * The Curry-Howard Isomorphism
 * Curry–Howard correspondence
 * Lambda calculus
 * Church–Rosser theorem
 * Beta normal form
 * Field of sets
 * Algebraic logic
 * Heyting algebra
 * Lindenbaum–Tarski algebra
 * Calculus of constructions


 * XX - Physics
 * Quantum Mechanics
 * Bra–ket notation


 * Quantum Field Theories
 * Quantum Computing and Information
 * Special Relativity
 * General Relativity
 * String Theory
 * XX - Computer Science
 * XX - Chemistry, Biochemistry, and Microbiology
 * XX - Genetics and Evolution
 * XX - Neurons and Brains
 * XX - Psychology and Cognitive Science
 * XX - Artificial Intelligence