Basic Category Theory
From MaRDI portal
adjoint functorscategoriesfunctorslimitsrepresentable functorstextbook (category theory)universal properties
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Definitions and generalizations in theory of categories (18A05) Special properties of functors (faithful, full, etc.) (18A22) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Abstract: This short introduction to category theory is for readers with relatively little mathematical background. At its heart is the concept of a universal property, important throughout mathematics. After a chapter introducing the basic definitions, separate chapters present three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties the three together. For each new categorical concept, a generous supply of examples is provided, taken from different parts of mathematics. At points where the leap in abstraction is particularly great (such as the Yoneda lemma), the reader will find careful and extensive explanations.
Recommendations
- Introduction to the basic category theory
- An introduction to category theory
- scientific article; zbMATH DE number 1263245
- Category Theory
- scientific article; zbMATH DE number 2172008
- A First Course in Category Theory
- Category theory. An introduction
- scientific article; zbMATH DE number 3220362
- FOUNDATIONS OF THE THEORY OF CATEGORIES
Cited in
(only showing first 100 items - show all)- A cohomological perspective on algebraic quantum field theory
- Attaching topological spaces to a module. I: sobriety and spatiality
- Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?
- A generalization of the quantization of Poisson manifolds
- On representational redundancy, surplus structure, and the hole argument
- Cohen-Montgomery duality for pseudo-actions of a group
- Gerbes in geometry, field theory, and quantisation
- Effective resistance is more than distance: Laplacians, simplices and the Schur complement
- Unitary transformations of fibre functors
- On two categories of many-level fuzzy morphological spaces
- Domain walls between 3d phases of Reshetikhin-Turaev TQFTs
- On the De Morgan's laws for modules
- An enriched category theory of language: from syntax to semantics
- Decomposition algebras and axial algebras
- Extending Landau-Ginzburg models to the point
- Neighborhood complexes and Kronecker double coverings
- \(\mathbb{Z}_2\)-indices and Hedetniemi's conjecture
- Hamiltonian anomalies from extended field theories
- The Burnside bicategory of groupoids
- Right saturations and induced pseudofunctors between bicategories of fractions
- Book review of: D. Yau, Colored operads
- Local theory for 2-functors on path 2-groupoids
- Functoriality and uniformity in Hrushovski's groupoid-cover correspondence
- Toposes for semigroups: an invitation
- Category of quantizations and inverse problem
- An introduction to the language of category theory
- Category theory in context
- Higher groupoid bundles, higher spaces, and self-dual tensor field equations
- An introduction to category theory
- Polynomial functors and combinatorial Dyson-Schwinger equations
- Introduction to categories and categorical logic
- The Extension Property in the Category of Direct Sum of Cyclic Torsion-Free Modules over a BFD
- Why categories?
- From quantum-mechanical lattice of projections to smooth structure of \(\mathbb{R}^4\)
- On deformations of diagrams of commutative algebras
- scientific article; zbMATH DE number 7449991 (Why is no real title available?)
- scientific article; zbMATH DE number 1263245 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1092354 (Why is no real title available?)
- Which Functor Is the Projective Line?
- Theory of interleavings on categories with a flow
- Introduction to gestural similarity in music. An application of category theory to the orchestra
- Simple transitive 2-representations of small quotients of Soergel bimodules
- Why not categorical equivalence?
- Ontological models for quantum theory as functors
- Cofree objects in the centralizer and the center categories
- Arrows of Times, Non Integer Operators, Self-Similar Structures, Zeta Functions and Riemann Hypothesis: a Synthetic Categorical Approach
- Bicategories in univalent foundations
- Esqueleto Homoto-Homológico en la Categoría de los Grupos Abelianos
- The bicategory of topological correspondences
- The joy of abstraction. An exploration of math, category theory, and life
- On strongly harmonic and Gelfand modules
- Displayed Categories
- Analogues of centralizer subalgebras for fiat 2-categories and their 2-representations
- Categorical perspective on quantization of Poisson algebra
- Topological insulators and the Kane-Mele invariant: obstruction and localization theory
- Strongly connected multivariate digraphs
- Monoidal supercategories
- Characterisation and applications of -split bimodules
- Resource convertibility and ordered commutative monoids
- Generic figures and their glueings. A constructive approach to functor categories
- Category theory and applications. A textbook for beginners
- Truncated affine Rozansky-Witten models as extended TQFTs
- Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration
- A set-theoretic proof of the representation of MV-algebras by sheaves
- Coactions on C^*-algebras and universal properties
- The ZX-calculus as a language for topological quantum computation
- Higher Structures in M‐Theory
- Serre functors and graded categories
- Morita isomorphism for Cuntz algebras
- CHAD for expressive total languages
- Pivotality, twisted centres, and the anti-double of a Hopf monad
- Pre-rigid monoidal categories
- Proof-theoretic foundations of normal logic programs
- Categorical composable cryptography: extended version
- A categorical view on the principle of relativity
- A diagrammatic view of differential equations in physics
- A categorical framework for modeling with stock and flow diagrams
- The generalised distribution semantics and projective families of distributions
- Tensor product of intuitionistic fuzzy modules
- Data transformation technique in the data informativity approach via algebraic sequences.
- Diamonds in the Langlands program: a comprehensive review
- Enriching diagrams with algebraic operations
- Diagrammatic calculus and generalized associativity for higher-arity tensor operations
- Categorical generalisations of quantum double models
- Compositional reversible computation
- Ideal categories of the normed algebra of finite rank bounded operators on a Hilbert space
- On Amitsur cohomology of monads
- Vines and MAT-labeled graphs
- Some new compatible groups
- The directed Van Kampen theorem in Lean
- Categorical semantics of compositional reinforcement learning
- The category of representations of a Lie groupoid
- Frame-valued assembly and its applications
- Spectral theory for non-full commutative \(\mathrm{C}^*\)-categories
- Subcategories of the category of -convergence spaces
- Categories and functors in reverse and computable mathematics
- Universal properties of spaces of generalized functions
- Categorical colors in diamonds: \textit{sight as site}: categorical Ozma and Cinderella
- Simplicial distributions, convex categories, and contextuality
This page was built for publication: Basic Category Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5170245)
