Francis Borceux - Böcker

A Handbook of Categorical Algebra is designed to give, in three volumes, a detailed account of what should be known by everybody working in, or using, category theory. As such it will be a unique reference. The volumes are written in sequence, with the first being essentially self-contained, and are accessible to graduate students with a good background in mathematics. Volume 1, which is devoted to general concepts, can be used for advanced undergraduate courses on category theory. After introducing the terminology and proving the fundamental results concerning limits, adjoint functors and Kan extensions, the categories of fractions are studied in detail; special consideration is paid to the case of localizations. The remainder of the first volume studies various 'refinements' of the fundamental concepts of category and functor.

The Handbook of Categorical Algebra is designed to give, in three volumes, a detailed account of what should be known by everybody working in, or using, category theory. As such it will be a unique reference. The volumes are written in sequence. The second, which assumes familiarity with the material in the first, introduces important classes of categories that have played a fundamental role in the subject's development and applications. In addition, after several chapters discussing specific categories, the book develops all the major concepts concerning Benabou's ideas of fibred categories. There is ample material here for a graduate course in category theory, and the book should also serve as a reference for users.

The Handbook of Categorical Algebra is intended to give, in three volumes, a rather detailed account of what, ideally, everybody working in category theory should know, whatever the specific topic of research they have chosen. The book is planned also to serve as a reference book for both specialists in the field and all those using category theory as a tool. Volume 3 begins with the essential aspects of the theory of locales, proceeding to a study in chapter 2 of the sheaves on a locale and on a topological space, in their various equivalent presentations: functors, etale maps or W-sets. Next, this situation is generalized to the case of sheaves on a site and the corresponding notion of Grothendieck topos is introduced. Chapter 4 relates the theory of Grothendieck toposes with that of accessible categories and sketches, by proving the existence of a classifying topos for all coherent theories.

Starting from the classical finite-dimensional Galois theory of fields, this book develops Galois theory in a much more general context, presenting work by Grothendieck in terms of separable algebras and then proceeding to the infinite-dimensional case, which requires considering topological Galois groups. In the core of the book, the authors first formalize the categorical context in which a general Galois theorem holds, and then give applications to Galois theory for commutative rings, central extensions of groups, the topological theory of covering maps and a Galois theorem for toposes. The book is designed to be accessible to a wide audience: the prerequisites are first courses in algebra and general topology, together with some familiarity with the categorical notions of limit and adjoint functors. The first chapters are accessible to advanced undergraduates, with later ones at a graduate level. For all algebraists and category theorists this book will be a rewarding read.

A Handbook of Categorical Algebra is designed to give, in three volumes, a detailed account of what should be known by everybody working in, or using, category theory. As such it will be a unique reference. The volumes are written in sequence, with the first being essentially self-contained, and are accessible to graduate students with a good background in mathematics. Volume 1, which is devoted to general concepts, can be used for advanced undergraduate courses on category theory. After introducing the terminology and proving the fundamental results concerning limits, adjoint functors and Kan extensions, the categories of fractions are studied in detail; special consideration is paid to the case of localizations. The remainder of the first volume studies various 'refinements' of the fundamental concepts of category and functor.

The Handbook of Categorical Algebra is designed to give, in three volumes, a detailed account of what should be known by everybody working in, or using, category theory. As such it will be a unique reference. The volumes are written in sequence. The second, which assumes familiarity with the material in the first, introduces important classes of categories that have played a fundamental role in the subject's development and applications. In addition, after several chapters discussing specific categories, the book develops all the major concepts concerning Benabou's ideas of fibred categories. There is ample material here for a graduate course in category theory, and the book should also serve as a reference for users.

The Handbook of Categorical Algebra is intended to give, in three volumes, a rather detailed account of what, ideally, everybody working in category theory should know, whatever the specific topic of research they have chosen. The book is planned also to serve as a reference book for both specialists in the field and all those using category theory as a tool. Volume 3 begins with the essential aspects of the theory of locales, proceeding to a study in chapter 2 of the sheaves on a locale and on a topological space, in their various equivalent presentations: functors, etale maps or W-sets. Next, this situation is generalized to the case of sheaves on a site and the corresponding notion of Grothendieck topos is introduced. Chapter 4 relates the theory of Grothendieck toposes with that of accessible categories and sketches, by proving the existence of a classifying topos for all coherent theories.

Starting from the classical finite-dimensional Galois theory of fields, this book develops Galois theory in a much more general context, presenting work by Grothendieck in terms of separable algebras and then proceeding to the infinite-dimensional case, which requires considering topological Galois groups. In the core of the book, the authors first formalize the categorical context in which a general Galois theorem holds, and then give applications to Galois theory for commutative rings, central extensions of groups, the topological theory of covering maps and a Galois theorem for toposes. The book is designed to be accessible to a wide audience: the prerequisites are first courses in algebra and general topology, together with some familiarity with the categorical notions of limit and adjoint functors. The first chapters are accessible to advanced undergraduates, with later ones at a graduate level. For all algebraists and category theorists this book will be a rewarding read.

The purpose of the book is to take stock of the situation concerning Algebra via Category Theory in the last fifteen years, where the new and synthetic notions of Mal'cev, protomodular, homological and semi-abelian categories emerged. These notions force attention on the fibration of points and allow a unified treatment of the main algebraic: homological lemmas, Noether isomorphisms, commutator theory. The book gives full importance to examples and makes strong connections with Universal Algebra. One of its aims is to allow appreciating how productive the essential categorical constraint is: knowing an object, not from inside via its elements, but from outside via its relations with its environment. The book is intended to be a powerful tool in the hands of researchers in category theory, homology theory and universal algebra, as well as a textbook for graduate courses on these topics.

Given a finite-dimensional Galois extension of fields, the classical bijection between the intermediate field extensions and the subgroups of the corresponding Galois group was extended by Grothendieck as an equivalence between finite-dimensional split algebras and finite sets on which the Galois group acts.

This textbook arises from a master’s course taught by the author at the University of Coimbra. It takes the reader from the very classical Galois theorem for fields to its generalization to the case of rings. Given a finite-dimensional Galois extension of fields, the classical bijection between the intermediate field extensions and the subgroups of the corresponding Galois group was extended by Grothendieck as an equivalence between finite-dimensional split algebras and finite sets on which the Galois group acts. Adding further profinite topologies on the Galois group and the sets on which it acts, these two theorems become valid in arbitrary dimension. Taking advantage of the power of category theory, the second part of the book generalizes this most general Galois theorem for fields to the case of commutative rings. This book should be of interest to field theorists and ring theorists wanting to discover new techniques which make it possible to liberate Galois theory from its traditional restricted context of field theory. It should also be of great interest to category theorists who want to apply their everyday techniques to produce deep results in other domains of mathematics.

An Axiomatic Approach to Geometry

An Algebraic Approach to Geometry

This book presents the classical theory of curves in the plane and three-dimensional space, and the classical theory of surfaces in three-dimensional space. It pays particular attention to the historical development of the theory and the preliminary approaches that support contemporary geometrical notions. It includes a chapter that lists a very wide scope of plane curves and their properties. The book approaches the threshold of algebraic topology, providing an integrated presentation fully accessible to undergraduate-level students.At the end of the 17th century, Newton and Leibniz developed differential calculus, thus making available the very wide range of differentiable functions, not just those constructed from polynomials. During the 18th century, Euler applied these ideas to establish what is still today the classical theory of most general curves and surfaces, largely used in engineering. Enter this fascinating world through amazing theorems and a wide supply of surprising examples. Reach the doors of algebraic topology by discovering just how an integer (= the Euler-Poincaré characteristics) associated with a surface gives you a lot of interesting information on the shape of the surface. And penetrate the intriguing world of Riemannian geometry, the geometry that underlies the theory of relativity.The book is of interest to all those who teach classical differential geometry up to quite an advanced level. The chapter on Riemannian geometry is of great interest to those who have to “intuitively” introduce students to the highly technical nature of this branch of mathematics, in particular when preparing students for courses on relativity.

Focusing methodologically on those historical aspects that are relevant to supporting intuition in axiomatic approaches to geometry, the book develops systematic and modern approaches to the three core aspects of axiomatic geometry: Euclidean, non-Euclidean and projective. Historically, axiomatic geometry marks the origin of formalized mathematical activity. It is in this discipline that most historically famous problems can be found, the solutions of which have led to various presently very active domains of research, especially in algebra. The recognition of the coherence of two-by-two contradictory axiomatic systems for geometry (like one single parallel, no parallel at all, several parallels) has led to the emergence of mathematical theories based on an arbitrary system of axioms, an essential feature of contemporary mathematics.This is a fascinating book for all those who teach or study axiomatic geometry, and who are interested in the history of geometry or who want tosee a complete proof of one of the famous problems encountered, but not solved, during their studies: circle squaring, duplication of the cube, trisection of the angle, construction of regular polygons, construction of models of non-Euclidean geometries, etc. It also provides hundreds of figures that support intuition.Through 35 centuries of the history of geometry, discover the birth and follow the evolution of those innovative ideas that allowed humankind to develop so many aspects of contemporary mathematics. Understand the various levels of rigor which successively established themselves through the centuries. Be amazed, as mathematicians of the 19th century were, when observing that both an axiom and its contradiction can be chosen as a valid basis for developing a mathematical theory. Pass through the door of this incredible world of axiomatic mathematical theories!

This book offers a unified treatment of the various algebraic approaches of geometric spaces. It details the algebraic ingredients necessary to develop all the major aspects of the theory of algebraic curves.

This book presents the classical theory of curves in the plane and three-dimensional space, and the classical theory of surfaces in three-dimensional space.

Categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the applications of category theory in functional analysis, algebraic topology, algebraic geometry, general topology, ring theory, cohomology, differential geometry, group theory, mathematical logic and computer sciences. The volume contains 28 carefully selected and refereed papers, out of 96 talks delivered, and illustrates the usefulness of category theory today as a powerful tool of investigation in many other areas.