Book contents
- Frontmatter
- Contents
- Foreword
- Preface
- PART I ABSTRACT ALGEBRAIC CATEGORIES
- 0 Preliminaries
- 1 Algebraic theories and algebraic categories
- 2 Sifted and filtered colimits
- 3 Reflexive coequalizers
- 4 Algebraic categories as free completions
- 5 Properties of algebras
- 6 A characterization of algebraic categories
- 7 From filtered to sifted
- 8 Canonical theories
- 9 Algebraic functors
- 10 Birkhoff's variety theorem
- PART II CONCRETE ALGEBRAIC CATEGORIES
- PART III SPECIAL TOPICS
- Postscript
- Appendix A Monads
- Appendix B Abelian categories
- Appendix C More about dualities for one-sorted algebraic categories
- References
- List of symbols
- Index
8 - Canonical theories
from PART I - ABSTRACT ALGEBRAIC CATEGORIES
Published online by Cambridge University Press: 01 June 2011
- Frontmatter
- Contents
- Foreword
- Preface
- PART I ABSTRACT ALGEBRAIC CATEGORIES
- 0 Preliminaries
- 1 Algebraic theories and algebraic categories
- 2 Sifted and filtered colimits
- 3 Reflexive coequalizers
- 4 Algebraic categories as free completions
- 5 Properties of algebras
- 6 A characterization of algebraic categories
- 7 From filtered to sifted
- 8 Canonical theories
- 9 Algebraic functors
- 10 Birkhoff's variety theorem
- PART II CONCRETE ALGEBRAIC CATEGORIES
- PART III SPECIAL TOPICS
- Postscript
- Appendix A Monads
- Appendix B Abelian categories
- Appendix C More about dualities for one-sorted algebraic categories
- References
- List of symbols
- Index
Summary
- Type
- Chapter
- Information
- Algebraic TheoriesA Categorical Introduction to General Algebra, pp. 74 - 79Publisher: Cambridge University PressPrint publication year: 2010