This volume contains the articles contributed to the Conference on Categorical Algebra, held June 7-12,1965, at the San Diego campus of the University of California under the sponsorship of the United States Air Force Office of Scientific Research. Of the thirty-seven mathemati cians, who were present seventeen presented their papers in the form of lectures. In addition, this volume contains papers contributed by other attending participants as well as by those who, after having planned to attend, were unable to do so. The editors hope to have achieved a representative, if incomplete, cover age of the present activities in Categorical Algebra within the United States by bringing together this group of mathematicians and by solici ting the articles contained in this volume. They also hope that these Proceedings indicate the trend of research in Categorical Algebra in this country. In conclusion, the editors wish to thank the participants and contrib. utors to these Proceedings for their continuous cooperation and encour agement. Our thanks are also due to the Springer-Verlag for publishing these Proceedings in a surprisingly short time after receiving the manu scripts.

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.

Representing this diversity of the field, this book contains the proceedings of an international conference on category theory. The subjects covered here range from topology and geometry to logic and theoretical computer science, from homotopy to braids and conformal field theory. Although generally aimed at experts in the various fields represented, the book will also provide an excellent opportunity for nonexperts to get a feel for the diversity of current applications of category theory.

Auslander made contributions to many parts of algebra, and this 2-volume set (the set ISBN is 0-8218-0679-3, already published) contains a selection of his main work.

Acyclic models is a method heavily used to analyze and compare various homology and cohomology theories appearing in topology and algebra. This book is the first attempt to put together in a concise form this important technique and to include all the necessary background. It presents a brief introduction to category theory and homological algebra. The author then gives the background of the theory of differential modules and chain complexes over an abelian category to state the main acyclic models theorem, generalizing and systemizing the earlier material. This is then applied to various cohomology theories in algebra and topology. The volume could be used as a text for a course that combines homological algebra and algebraic topology. Required background includes a standard course in abstract algebra and some knowledge of topology. The volume contains many exercises. It is also suitable as a reference work for researchers.

Algebra of Proofs deals with algebraic properties of the proof theory of intuitionist first-order logic in a categorical setting. The presentation is based on the confluence of ideas and techniques from proof theory, category theory, and combinatory logic. The conceptual basis for the text is the Lindenbaum-Tarski algebras of formulas taken as categories. The formal proofs of the associated deductive systems determine structured categories as their canonical algebras (which are of the same type as the Lindenbaum-Tarski algebras of the formulas of underlying languages). Gentzen's theorem, which asserts that provable formulas code their own proofs, links the algebras of formulas and the corresponding algebras of formal proofs. The book utilizes the Gentzen's theorem and the reducibility relations with the Church-Rosser property as syntactic tools. The text explains two main types of theories with varying linguistic complexity and deductive strength: the monoidal type and the Cartesian type. It also shows that quantifiers fit smoothly into the calculus of adjoints and describe the topos-theoretical setting in which the proof theory of intuitionist first-order logic possesses a natural semantics. The text can benefit mathematicians, students, or professors of algebra and advanced mathematics.

Algebraic theories and algebraic categories offer an innovative and revelatory description of the syntax and the semantics. An algebraic theory is a concrete mathematical object -- the concept -- namely a set of variables together with formal symbols and equalities between these terms; stated otherwise, an algebraic theory is a small category with finite products. An algebra or model of the theory is a set-theoretical interpretation -- a possible meaning -- or, more categorically, a finite product-preserving functor from the theory into the category of sets. We call the category of models of an algebraic theory an algebraic category. By generalising the theory we do generalise the models. This concept is the fascinating aspect of the subject and the reference point of our project. We are interested in the study of categories of models. We pursue our task by considering models of different theories and by investigating the corresponding categories of models they constitute. We analyse localizations (namely, fully faithful right adjoint functors whose left adjoint preserves finite limits) of algebraic categories and localizations of presheaf categories. These are still categories of models of the corresponding theory.We provide a classification of localizations and a classification of geometric morphisms (namely, functors together with a finite limit-preserving left adjoint), in both the presheaf and the algebraic context.

The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers published here range from the purely theoretical to practical applications.

This book constitutes the thoroughly refereed proceedings of the Fourth International Conference on Mathematics and Computation in Music, MCM 2013, held in Montreal, Canada, in June 2013. The 18 papers presented were carefully reviewed and selected from numerous submissions. They are promoting the collaboration and exchange of ideas among researchers in music theory, mathematics, computer science, musicology, cognition and other related fields.