Categories for the working mathematician.
For the reviewer this is one of the most intelligible books on categories. For myself I worked with its German translation [``Kategorien. Begriffssprache und mathematische Theorie (1972; Zbl 0243.18001)] since its appearence. Now the new edition (first ed. 1971; Zbl 0232.18001) is much more useful. There is a new chapter on ``symmetry and braiding in monoidal categories [including the famous coherence theorem of the author, cf. \textit{S. Mac Lane}, CMS Conf. Proc. 13, 321--328 (1992; Zbl 0789.18006)]. But here the now also famous coherence theorem of \textit{R. Gordon}, \textit{A. J. Power}, and \textit{R. Street} [see ``Coherence in tricategories, Mem. Am. Math. Soc. 558 (1995; Zbl 0836.18001)] is missing in the bibliography. A further new chapter is on ``structures in categories. This is on internal categories, 2-categories, and bicategories. The philosophical account of ``Structure in mathematics by the author [\textit{S. Mac Lane}, Philos. Math., III. Ser. 4, No. 2, 174--183 (1996; Zbl 0905.18001)] is not addressed. It's a pity that in the meanwhile the interesting notes have vanished for these new chapters. Therefore, a much too short paragraph on ``perspectives is added, giving some bibliographical hints to more advanced work, esp. coming up from physics. I think this is poor. A second book by the author on these topics with the old standard is desirable, and perhaps lower in price as this reprint brushed up with some additions. There is now one page on topoi and also an appendix of three sides upon foundations -- on these, only the author's book is mentioned [\textit{S. Mac Lane} and \textit{I. Moerdijk}, ``Sheaves in geometry and logic (1992; Zbl 0822.18001)], not \textit{P. T. Johnstone}'s classic [``Topos theory (1977; Zbl 0368.18001)]. To whom it may concern?
- Homotopy groups of Hom complexes of graphs
- Bases for parametrized iterativity
- HasCasl: integrated higher-order specification and program development
- Model structures on the category of small double categories
- Braided doubles and rational Cherednik algebras.
- Bialgebraic methods and modal logic in structural operational semantics
- Extension groups between simple Mackey functors
- Epireflections and supercompact cardinals
- Coalgebraic logic for stochastic right coalgebras
- Tannakian categories, linear differential algebraic groups, and parametrized linear differential equations
- Realising smashing localisations as morphisms of DG algebras.
- Left-Garside categories, self-distributivity, and braids
- On three arguments against categorical structuralism
- Fuzzy complete lattices
- On ordered categories as a framework for fuzzification of algebraic and topological structures
- A Mezei-Wright theorem for categorical algebras
- A groupoid approach to discrete inverse semigroup algebras
- Bar constructions and Quillen homology of modules over operads
- Generalized spectral categories, topological Hochschild homology and trace maps
- Dimension of Boolean valued lattices and rings
- Implementing the Bogolubov-Valatin transformations on a Hilbert bundle
- Concurrent transition systems
- Equational properties of iteration in algebraically complete categories
- Universal realization
- On the quasi-affine scheme of a differential ring
- Uniformly constructive monads
- Supercoherence
- Quasi-augmented simplicial spaces, with an application to cohomological dimension
- Algebra objects and algebra families for finite limit theories
- Abelian groups with a vanishing homology group
- Yoneda structures on 2-categories
- Comparison of the geometric bar and W-constructions
- A description of the second mod p cohomology group of a p-group
- Gabriel-Ulmer duality for categories enriched in bicategories
- On a categorical analysis of Zadeh generalized subsets of sets. II
- Tortile tensor categories
- Quantum and braided-Lie algebras
- Modulated bicategories
- Quasi-* structure on q-Poincaré algebras
- Higher-dimensional algebra. II: 2-Hilbert spaces
- Categories and quantum statistics
- Minimality of the system of seven equations for the category of finite sets
- An equational notion of lifting monad
- The monoidal Eilenberg-Moore construction and bialgebroids
- On the equational definition of the least prefixed point.
- Self-adjunctions and matrices.
- Recollement and tilting complexes.
- Derivatives of rational expressions and related theorems.
- DG quotients of DG categories.
- More existence theorems for recursion categories.
- Domain theory for concurrency
- Extending Stone duality to multisets and locally finite MV-algebras.
- On the semantics of nested datatypes
- Logical foundations of CafeOBJ
- The category of node-and-choice preforms for extensive-form games
- Gabriel topology related to Morita context of semirings
- Discrete Morse theory and classifying spaces
- The ins and outs of mathematical explanation
- A characterisation of Lie algebras via algebraic exponentiation
- Derived Koszul duality and \(\mathsf{TQ}\)-homology completion of structured ring spectra
- How to glue derived categories
- Koszul-Tate resolutions as cofibrant replacements of algebras over differential operators
- From observables and states to Hilbert space and back: a 2-categorical adjunction
- Fiat categorification of the symmetric inverse semigroup \(IS_n\) and the semigroup \(F^*_n\)
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Serre's tensor construction and moduli of abelian schemes
- Hopf monoids in varieties
- Six operations on dg enhancements of derived categories of sheaves
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Abhyankar's perfectoid lemma
- Fraïssé limits in comma categories
- A note on triangulated monads and categories of module spectra
- The Auslander-Gruson-Jensen recollement
- Affine near-rings and related structures
- A control theorem for the torsion Selmer pointed set
- Tannakian formalism for fiber functors over tensor categories
- Higher cohomologies of commutative monoids
- The Lelek fan and the Poulsen simplex as Fraïssé limits
- Quasi-Galois theory in symmetric monoidal categories
- Swiss-Cheese operad and Drinfeld center
- Subdirectly irreducible IKt-algebras
- Katětov functors
- Proximity biframes and Nachbin spaces
- Normalized bicategories internal to groups and more general Mal'tsev categories
- Gorenstein homological algebra and universal coefficient theorems
- Calculating and drawing Belyi pairs
- Quantales and Fell bundles
- Quantalic topological theories
- Enriched and internal categories: an extensive relationship
- Parseval wavelets on hierarchical graphs
- Multidimensional persistence and noise
- Ordered groups as a tensor category
- Weak rigid monoidal category
- Polyhedral MV-algebras
- How many adjunctions give rise to the same monad?
- Derived sections of Grothendieck fibrations and the problems of homotopical algebra
- Character varieties as a tensor product
- A topos associated with a colored category
- Levelwise modules over separable monads on stable derivators
- Category theory and physical structuralism
This page was built for publication: Categories for the working mathematician.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4215784)
