Categories for the working mathematician
Das Buch entstand aus Vorlesungen, die der Verf. unter anderem in Chicago, London, Heidelberg, Zürich, Canberra und Tulane gehalten hat. Zahlreiche Diskussionen des Verf. und Mitbegründers der Theorie der Kategorien mit führenden Vertretern dieses Forschungsgebietes haben zu der hervorragenden Qualität des Buches beigetragen. Es wendet sich nicht an Spezialisten der Theorie der Kategorien, sondern an alle Mathematiker, die sich der Sprache der Kategorien bedienen wollen. Es enthält diejenigen Gedanken und Methoden der Theorie der Kategorien, die auch in anderen Bereichen der mathematischen Forschung angewendet werden können. Das Buch ist gut lesbar und vermittelt dem Leser ein breites, anwendbares Wissen über die tragenden Begriffe der Theorie der Kategorien. Besonders deutlich werden die zentrale Rolle des Begriffs der adjungierten Funktoren und die verschiedenartigen Beziehungen dieses Begriffes zu den anderen Grundbegriffen dargestellt. Viele Übungsaufgaben ermöglichen es dem Leser, sein erworbenes Wissen zu überprüfen und anzuwenden. Bemerkungen nach den einzelnen Kapiteln geben dem Leser Hinweise nach weiterführenden Spezialarbeiten. Sie enthalten jedoch auch Hinweise darüber, aus welchen Begriffen der mathematischen Forschung sich die Grundbegriffe der Theorie der Kategorien entwickelt haben. [2. Aufl. s. Zbl 0906.18001.]
- A family of acyclic functors
- On countable completions of quotient ordered semigroups
- A categorical framework for the quantum harmonic oscillator
- Coherence in linear predicate logic
- On the rigidity of the cotangent complex at the prime 2
- Local structure theorems for smooth maps of formal schemes
- On the construction of free algebras for equational systems
- Operated semigroups, Motzkin paths and rooted trees
- Some results on the moduli spaces of quiver bundles
- Classical invariants for global actions and groupoid atlases
- Domain semantics of possibility computations
- Uniformly continuous maps between ends of \(\mathbb{R}\)-trees
- A minimalist two-level foundation for constructive mathematics
- Ordered groups with a conucleus
- On the algebraic structure of declarative programming languages
- A Cartan-Eilenberg approach to homotopical algebra
- Locally finitely presented categories of sheaves
- Dualities in full homomorphisms
- Une description axiomatique des categories de faisceaux de structures algébriques sur les espaces topologiques booleens
- Cartesian-closed correflective subcategories of uniform spaces generated by classes of metric spaces
- Classifying topoi and finite forcing
- On categories of algebras equivalent to a variety
- Operations on fuzzy ideals
- Parameter passing in algebraic specification languages
- On the Cohen-Macaulay and Buchsbaum property for unions of planes in affine space
- State-transition categories
- Closed structures on categories of topological spaces
- Covering spaces and the Galois theory of commutative Banach algebras
- Variation through enrichment
- Lifting classes of principal bundles
- Geometry of a category of complexes and algebraic K-theory
- Representation-finite algebras and multiplicative bases
- On Galois coverings of tame algebras
- Vollständigkeitseigenschaften freier Colimes-Komplettierungen. (Completeness properties of free colimit completions)
- Fuzzy-topological automata
- Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
- Adjoints to tensor for graded algebras and coalgebras
- Sheaves over Heyting lattices
- On the cohomology of an algebra morphism
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Socle reductions and socle projective modules
- On a 'good' dense class of topological spaces
- On the existence of free models in abstract algebraic institutions
- On observational equivalence and algebraic specification
- On combinatorial differential equations
- Singularity theory and configuration space models of \(\Omega ^ nS^ n\) of non-connected spaces
- Quasi-varieties in abstract algebraic institutions
- Petri nets, algebras, morphisms, and compositionality
- On the Cantor-Dedekind property of the Tilson order on categories and graphs
- A categorical treatment of pre- and post-conditions
- Two-level semantics and code generation
- Generalization of Yamagata's theorem on trivial extensions
- Fuzzy sets and toposes - towards higher order fuzzy logic
- Models of arithmetic and categories with finiteness conditions
- Strictness analysis and denotational abstract interpretation
- On ``On graph rewritings
- The hierarchical structure of graph searches
- Algebraic solutions to recursion schemes
- Topology and duality in modal logic
- Stone duality for first order logic
- Algebra of constructions. I. The word problem for partial algebras
- Quasi-isomorphisms of finitely generated modules over valuation domains
- Specifications in an arbitrary institution
- A note on the models on general systems
- Partial morphisms in categories of effective objects
- Categories of partial maps
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- Subalgebra systems of idempotent entropic algebras
- On the structure of subalgebra systems of idempotent entropic algebras
- Primitive iteration and unary functions
- A characterization of rings over which Abelian Hopf algebras form an Abelian category
- Finite generation of ambiguity in context-free languages
- Strong conceptual completeness for first-order logic
- Compact homotopy functors and the equivariant Sullivan profinite completion
- Partiality, cartesian closedness, and toposes
- Monadic decompositions
- The equivariant Steenrod algebra
- E-unitary inverse monoids and the Cayley graph of a group presentation
- A note on Birget-Rhodes expansion of groups
- Homotopy spectral sequences and obstructions
- Basic notions for fuzzy topology. II
- The topology of discrete groups
- Applicability of a production in a categorical grammar
- The category of mono-unary algebras
- The Frobenius rank equality for morphisms
- Continuous posets and adjoint sequences
- Semi-topological functors III: Lifting of monads and adjoint functors
- Flatness in varieties of normal bands
- Partially additive categories and flow-diagram semantics
- Duality theory for discrete-time linear systems
- Unique fixed points vs. least fixed points
- A method from categories for introducing a general notion of convergence and limit
- On the algebra of order
- Groups with projections and applications to homotopy theory
- On new roles for categorical algebra
- Varieties of chain-complete algebras
- An algebraic model of ethical cognition
- Are colimits of algebras simple to construct?
- Foundations of system theory: The Hankel matrix
- Duality in homotopy theory: A retrospective essay
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 Q5639839)
