nLab Category — reference

Overview

The nLab has 381 pages in this category.

Pages

• (infinity,2)-Categories and the Goodwillie Calculus
• 4-3-2 8-7-6
• A Categorical Manifesto
• A Concise Course in Algebraic Topology
• A crash course in topos theory -- The big picture
• A Cubical Approach to Synthetic Homotopy Theory
• A History of Western Philosophy
• A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory
• A Polarized View of String Topology
• A string diagram calculus for predicate logic
• A study in derived algebraic geometry
• A Survey of Cohomological Physics
• Abelian categories with applications to rings and modules
• Abstract and Concrete Categories
• Adjointness for 2-Categories
• Adjointness in Foundations
• Algebraic Homotopy
• Algèbres Enveloppantes
• Ambidexterity in K(n)-Local Stable Homotopy Theory
• An Essay on the Foundations of Geometry
• An Exercise in Kantization
• An Introduction to Homological Algebra
• Analysis Situs
• Applied Category Theory conference
• Archive for Mathematical Sciences & Philosophy
• Ausdehnungslehre
• Australian Category Seminar
• bananaspace
• Bartel Leendert van der Waerden
• Basic Bundle Theory and K-Cohomology Invariants
• Beiträge zur Begründung der transfiniten Mengenlehre
• books about string theory
• books and reviews in mathematical physics
• books in algebraic geometry
• Boole -- The Laws of Thought
• Bordism, Stable Homotopy and Adams Spectral Sequences
• BRICS
• BrownAHT
• Calculus of fractions and homotopy theory
• Calculus on Manifolds
• Categorical dynamics
• Categorical Homotopy Theory
• Categories and Sheaves
• Categories for the Working Mathematician
• Categories in Continuum Physics
• Categories, Allegories
• Category Theory conference
• Category Theory in Context
• Category Theory Octoberfest
• Catégories Tannakiennes
• Cellular Cohomology in Homotopy Type Theory
• Center for Quantum and Topological Systems
• Characteristic forms and geometric invariants
• Chiral Algebras
• Chiral Nuclear Dynamics
• Chromatic Homotopy Theory
• Classification of continuous maps of a complex into a sphere
• Closed Immersions
• Cohesive Toposes -- Combinatorial and Infinitesimal Cases
• Cohesive Toposes and Cantor's "lauter Einsen"
• Combinatorial Homotopy and 4-Dimensional Complexes
• Combinatorial model categories have presentations
• Combinatorial species and tree-like structures
• Comments on the development of topos theory
• Commutative Algebra
• Como
• Complex cobordism and stable homotopy groups of spheres
• Complex oriented cohomology theories and the language of stacks
• Comptes rendus hebdomadaires des séances de l'Académie des sciences
• Computational Topology, An Introduction
• Conformal field theory in four and six dimensions
• Connections, Curvature, and Cohomology
• Converging Realities -- Toward a common philosophy of physics and mathematics
• Cospans in Algebraic Topology
• Counterexamples in Topology
• Cours d'Analyse
• Course of Theoretical Physics
• Critique of Pure Reason
• Croatian Black Hole School
• Crossed Menagerie
• Deformation Theory
• Des Catégories Abéliennes
• Descent Theorems
• Differential Forms in Algebraic Topology
• Dirac charge quantization and generalized differential cohomology
• Directed Algebraic Topology
• DisCoPy
• Disquisitiones Arithmeticae
• Duff interview at M-Theory-Mathematics 2020
• EGA
• EGA IV
• Eilenberg-MacLane Spaces in Homotopy Type Theory
• Elementary Categories, Elementary Toposes
• Elements
• Elements of Mathematics
• Elements of ∞-Category Theory
• Elliptic Cohomology I
• Encyclopaedia of Mathematics
• Encyclopedia of Mathematical Physics
• Encyclopedia of Mathematical Physics 2nd ed
• Encyclopedia of Particle Physics
• Encyclopedia of the Philosophical Sciences
• Equality in hyperdoctrines and comprehension schema as an adjoint functor
• Equivariant cohomology theories
• Equivariant stable homotopy theory
• Esquisses mathématiques
• events of interest for the working category theorist
• FAC
• Factorization algebras in perturbative quantum field theory
• FGA
• FGA explained
• Finite Quantum Electrodynamics -- The Causal Approach
• Five lectures on supersymmetry
• Formal Moduli Problems and DG-Lie Algebras
• Foundations of Algebraic Topology
• Foundations of Constructive Analysis
• Foundations of Mechanics
• Frames and Locales
• From classical field theory to perturbative quantum field theory
• From Fields to Strings -- Circumnavigating Theoretical Physics
• From String structures to Spin structures on loop spaces
• Functorial Semantics of Algebraic Theories
• Fundamental Bigroupoids and 2-Covering Spaces
• GAGA
• Galois Theories
• Galois' last letter
• Gauge Field Theory and Complex Geometry
• General Theory of Natural Equivalences
• Geometric Algebra
• Geometric and topological structures related to M-branes
• Geometric Models for Elliptic Cohomology
• Geometry, Topology and Physics
• Global homotopy theory
• Global Homotopy Theory and Cohesion
• Gravitation
• Grothendieck Festschrift
• GroupNames
• Groupprops
• Groups and Their Graphs
• Grundlage der gesamten Wissenschaftslehre
• Grundriss des Eigenthümlichen der Wissenschaftslehre
• Grundzüge der Mengenlehre
• Gérard Gonzalez-Sprinberg
• Handbook of Algebraic Topology
• Handbook of Analysis and its Foundations
• Handbook of Categorical Algebra
• Handbook of Homotopy Theory
• Handbook of K-theory
• Handbook of Logic in Computer Science
• Handbook of Quantum Gravity
• Handbook of Quantum Logic and Quantum Structures
• Hazewinkel, Witt vectors
• Help me! I'm trying to understand Bakalov and Kirillov
• Higher Algebra
• Higher Algebraic Structures and Quantization
• Higher categories and homotopical algebra
• Higher Groups in Homotopy Type Theory
• Higher Operads, Higher Categories
• Higher Segal Spaces and their Applications to Algebraic K-Theory, Hall Algebras, and Combinatorics
• Higher Structures in M-Theory 2018
• Higher Topos Theory
• Higher-Dimensional Types in the Mechanization of Homotopy Theory
• Hodge theory and Complex algebraic geometry
• Homological Algebra
• Homotopical Algebra
• Homotopy Limit Functors on Model Categories and Homotopical Categories
• Homotopy limits, completions and localizations
• Homotopy Limits, Completions and Localizations
• Homotopy theories and model categories
• Homotopy Theory of Higher Categories
• Homotopy topoi and equivariant elliptic cohomology
• homotopy type theory - references
• Homotopy Type Theory -- Univalent Foundations of Mathematics
• Homotopy Type Theory Electronic Seminar Talks
• homotopy type theory events
• Homotopy Types
• HoTT at DMV2015
• HoTT in Bonn2018
• Indagationes Mathematicae
• infinitesimal analysis
• Introduction to compact transformation groups
• Introduction to fibrewise homotopy theory
• Introduction to foliations and Lie groupoids
• Introduction to Higher-Order Categorical Logic
• Introduction to Homotopy Type Theory
• Introduction to Strings and Branes
• Introduction to Étale Cohomology
• Isle of Thorns
• K-Theory for Operator Algebras
• Kenzo
• Kerodon
• Lectures on category theory
• Lectures on Equivariant Stable Homotopy Theory
• Lectures on n-Categories and Cohomology
• Lectures on the geometry of quantization
• Lectures on the History of Philosophy
• Lectures on the Orbit Method
• Lectures on the Philosophy of History
• Lectures on the Philosophy of Religion
• Lectures on Étale Cohomology
• Les Dérivateurs
• Lie Groups, Lie Algebras, Cohomology and Some Applications in Physics
• Local homotopy theory
• Localization in Homotopy Type Theory
• Locally Presentable and Accessible Categories
• Logic as the Essence of Philosophy
• Long March
• Loop Groups and Twisted K-Theory
• Loop Groups, Characters and Elliptic Curves
• LOOPS'22
• M-Theory and Mathematics
• Malcev, protomodular, homological and semi-abelian categories
• Manifold Atlas
• math blogs
• mathematical literature
• Mathematical methods of classical mechanics
• Mathematical Theory of Quantum Fields
• Mathematical Topics Between Classical and Quantum Mechanics
• Meaning and Necessity
• Metaphysics (Aristotle)
• Methods of homological algebra
• Methods of Modern Mathematical Physics
• Mixed Hodge Structures
• Modalities in homotopy type theory
• Model Categories
• Model Categories and More General Abstract Homotopy Theory
• Model Categories and Their Localizations
• Model categories of diagram spectra
• Models for Smooth Infinitesimal Analysis
• Modern Differential Geometry for Physicists
• Modern foundations for stable homotopy theory
• Moderne Algebra
• Monoidal Functors, Species and Hopf Algebras
• Najib Idrissi
• Naming and Necessity
• Natural operations in differential geometry
• Nature conformable to herself
• Naturerkennen und Logik
• New Dimensions in Geometry
• New Spaces for Mathematics and Physics
• Non-Archimedean Analysis
• Nonabelian Algebraic Topology
• Noncommutative Algebra
• Noncommutative Geometry
• Noncommutative Geometry, Quantum Fields and Motives
• Northwestern TFT Conference 2009
• Notes on homotopical algebra
• Oberwolfach
• Oberwolfach HoTT-Coq tutorial
• Oberwolfach Workshop, June 2009 -- Strings, Fields, Topology
• On PL deRham theory and rational homotopy type
• On the Classification of Topological Field Theories
• On the homotopy groups of spheres in homotopy type theory
• On the Space-Theory of Matter
• On Vortex Atoms
• Open problems in topos theory
• Operator theory in the C*-algebra framework
• Orbifolds in Mathematics and Physics
• Parametrized Homotopy Theory
• Parmenides dialogue
• Peripatetic Seminar on Sheaves and Logic
• Perturbative Algebraic Quantum Field Theory
• Phenomenology of Spirit
• Philosophiæ naturalis principia mathematica
• Philosophy of Nature
• Physical Mathematics and the Future
• PhysLean
• Planet Math
• Practical Foundations for Programming Languages
• Practical Foundations of Mathematics
• Principia Mathematica
• Problems in the theory of automorphic forms -- 45 years later
• Proceedings of the Conference on Categorical Algebra - La Jolla 1965
• Proper Morphisms, Completions, and the Grothendieck Existence Theorem
• Properties of Integral Morava K-Theory and the Asserted Application to the Diaconescu-Moore-Witten Anomaly
• Prospects in Theoretical Physics 2023
• punny title
• Pursuing Stacks
• QCD and strongly coupled gauge theories - challenges and perspectives
• Quadratic Functions in Geometry, Topology, and M-Theory
• Quantization of Gauge Systems
• Quantum Fields and Strings
• Quantum Gauge Theories -- A True Ghost Story
• Quantum Information Meets Quantum Matter
• Quantum mechanics for mathematicians
• Quantum physics: a functional integral point of view
• Quasi-Coherent Sheaves and Tannaka Duality Theorems
• Quelques propriétés globales des variétés différentiables
• Rational and p-adic Homotopy Theory
• Reflections on the Foundations of Mathematics
• Renormalization and Effective Field Theory
• Representability Theorems
• Rings, modules and algebras in stable homotopy theory
• Récoltes et semailles
• Sage
• Schwinger-Tomonaga-Feynman-Dyson
• Seminar on Triples and Categorical Homology Theory
• Sets for Mathematics
• SGA1
• Sheaf Semantics for Concurrent Interacting Objects
• Sheaves in Geometry and Logic
• Simplicial homotopy theory
• Sketches of an Elephant
• Some geometric perspectives in concurrency theory
• Some remarks on axiomatized set theory
• Some Thoughts on the Future of Category Theory
• Some title containing the words "homotopy" and "symplectic", e.g. this one
• sources in computational topology
• Spectral Algebraic Geometry
• Spectral Schemes
• Spin geometry
• Stable categories and structured ring spectra
• Stable homotopy and generalised homology
• Stable Infinity-Categories
• Stone Spaces
• StreetCBS
• String Theory
• String Theory and Particle Physics -- An Introduction to String Phenomenology
• String theory and the real world
• String Theory Dynamics In Various Dimensions
• Strings 2022
• Structural Complexity of Proofs
• Structured Spaces
• Structures de Dérivabilité
• Supergravity and Superstrings - A Geometric Perspective
• Supersymmetries and their Representations
• Supersymmetry for mathematicians
• Symmetric spectra
• Symmetry
• Séminaire Bourbaki
• Séminaire Itinérant de Catégories
• T-Duality and Differential K-Theory
• T-Duality in K-theory and Elliptic Cohomology
• The Blind Spot
• The Catsters
• The Cauchy Problem in Classical Supergravity
• The Convenient Setting of Global Analysis
• The Geometry of Physics - An Introduction
• The Impact of D-Branes on Mathematics
• The Interpretation of Quantum Mechanics
• The join construction
• The many faces of the superworld
• The Multifaceted Skyrmion
• The Principles of Quantum Mechanics
• The real projective spaces in homotopy type theory
• The Relation of Cobordism to K-Theories
• The Rising Sea
• The role of locality in perturbation theory
• The Self-Organizing Universe
• The Stacks Project
• The Theory of Quasi-Categories and its Applications
• The Unreasonable Effectiveness of Mathematics in the Natural Sciences
• The Unreasonable Effectiveness of Physics in the Mathematical Sciences
• The World in Eleven Dimensions
• Theory and Applications of Categories
• Three Roles of Quantum Field Theory
• Timaeus dialogue
• Tools for the advancement of objective logic
• Topological Algebraic Geometry - A Workshop
• Topological Quantum Field Theories from Compact Lie Groups
• Topological Quantum Field Theory, Nonlocal Operators, and Gapped Phases of Gauge Theories
• Topos Theoretic Methods in Geometry
• Topos Theory
• Toposes of laws of motion
• Topospaces
• Towards an enumerative geometry of the moduli space of curves
• Towards Higher Categories
• Towards Higher Universal Algebra in Type Theory
• Tractatus Logico-Philosophicus
• Transformation Groups
• Transformation Groups and Representation Theory
• Type Theory and Functional Programming
• Tôhoku
• Understanding constructions in categories
• Understanding M-Set
• UniMath project
• Unity and Identity of Opposites in Calculus and Physics
• Univalent categories and the Rezk completion
• Universal Homotopy Theories
• wall crossing in Aarhus 2010
• What is an elliptic object?