Foreword / F. W. Lawvere |
Preface |
Abstract Algebraic Categories / Part I: |
Preliminaries / 0: |
Algebraic theories and algebraic categories / 1: |
Sifted and filtered colimits / 2: |
Reflexive coequalizers / 3: |
Algebraic categories as free completions / 4: |
Properties of algebras / 5: |
A characterization of algebraic categories / 6: |
From filtered to sifted / 7: |
Canonical theories / 8: |
Algebraic functors / 9: |
Birkhoff's variety theorem / 10: |
Concrete Algebraic Categories / Part II: |
One-sorted algebraic categories / 11: |
Algebras for an endofunctor / 12: |
Equational categories of ?-algebras / 13: |
S-sorted algebraic categories / 14: |
Special Topics / Part III: |
Morita equivalence / 15: |
Free exact categories / 16: |
Exact completion and reflexive-coequalizer completion / 17: |
Finitary localizations of algebraic categories / 18: |
Postscript |
Monads / Appendix A: |
Abelian categories / Appendix B: |
More about dualities for one-sorted algebraic categories / Appendix C: |
References |
List of symbols |
Index |
Foreword / F. W. Lawvere |
Preface |
Abstract Algebraic Categories / Part I: |