Basic Category Theory

DOI10.1017/CBO9781107360068zbMath1295.18001arXiv1612.09375OpenAlexW4233669187MaRDI QIDQ5170245

Publication date: 23 July 2014

Full work available at URL: https://arxiv.org/abs/1612.09375

limits categories functors adjoint functors universal properties representable functors textbook (category theory)

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) 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) Definitions and generalizations in theory of categories (18A05) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Related Items

On the De Morgan's laws for modules ⋮ A cohomological perspective on algebraic quantum field theory ⋮ Functoriality and uniformity in Hrushovski's groupoid-cover correspondence ⋮ An enriched category theory of language: from syntax to semantics ⋮ Cofree objects in the centralizer and the center categories ⋮ The Burnside bicategory of groupoids ⋮ Arrows of Times, Non Integer Operators, Self-Similar Structures, Zeta Functions and Riemann Hypothesis: a Synthetic Categorical Approach ⋮ Right saturations and induced pseudofunctors between bicategories of fractions ⋮ Esqueleto Homoto-Homológico en la Categoría de los Grupos Abelianos ⋮ Book review of: D. Yau, Colored operads ⋮ Toposes for semigroups: an invitation ⋮ Decomposition algebras and axial algebras ⋮ Local theory for 2-functors on path 2-groupoids ⋮ 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 ⋮ Attaching topological spaces to a module. I: sobriety and spatiality ⋮ On strongly harmonic and Gelfand modules ⋮ Morita isomorphism for Cuntz algebras ⋮ CHAD for expressive total languages ⋮ Resource convertibility and ordered commutative monoids ⋮ 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 ⋮ On Einstein algebras and relativistic spacetimes ⋮ Category of quantizations and inverse problem ⋮ Extending Landau-Ginzburg models to the point ⋮ Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Polynomial functors and combinatorial Dyson–Schwinger equations ⋮ Unnamed Item ⋮ Introduction to gestural similarity in music. An application of category theory to the orchestra ⋮ ANALOGUES OF CENTRALIZER SUBALGEBRAS FOR FIAT 2-CATEGORIES AND THEIR 2-REPRESENTATIONS ⋮ The Extension Property in the Category of Direct Sum of Cyclic Torsion-Free Modules over a BFD ⋮ Categorical perspective on quantization of Poisson algebra ⋮ Why Categories? ⋮ From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4 ⋮ On Deformations of Diagrams of Commutative Algebras ⋮ Simple transitive 2-representations of small quotients of Soergel bimodules ⋮ Neighborhood complexes and Kronecker double coverings ⋮ Topological insulators and the Kane–Mele invariant: Obstruction and localization theory ⋮ A generalization of the quantization of Poisson manifolds ⋮ On representational redundancy, surplus structure, and the hole argument ⋮ Strongly connected multivariate digraphs ⋮ Monoidal supercategories ⋮ Theory of interleavings on categories with a flow ⋮ Displayed Categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Equivariant Euler characteristics of partition posets ⋮ Cohen-Montgomery duality for pseudo-actions of a group ⋮ Gerbes in geometry, field theory, and quantisation ⋮ Characterisation and applications of $\Bbbk$-split bimodules ⋮ Higher groupoid bundles, higher spaces, and self-dual tensor field equations ⋮ Effective resistance is more than distance: Laplacians, simplices and the Schur complement ⋮ $\mathbb{Z}_2$-indices and Hedetniemi's conjecture ⋮ Unitary transformations of fibre functors ⋮ Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N ⋮ On two categories of many-level fuzzy morphological spaces ⋮ Domain walls between 3d phases of Reshetikhin-Turaev TQFTs ⋮ Why Not Categorical Equivalence? ⋮ Hamiltonian anomalies from extended field theories