Johnstone, Peter T.; Wraith, Gavin C. Algebraic theories in toposes. (English) Zbl 0392.18006 Indexed Categ. Appl., Lect. Notes Math. 661, 141-242 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 18 Documents MSC: 18B25 Topoi 03G30 Categorical logic, topoi 08C05 Categories of algebras 18C10 Theories (e.g., algebraic theories), structure, and semantics 18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) Keywords:Boolean Topos; Natural Number Object; Algebraic Theories; Finitary Internal Algebraic Theories; Infinitary Algebraic Theories; Generic Object; Locally Internal Monads; Base Topos; Object Classifier; Classifying Topos; Natural Tensor Product; Triples Citations:Zbl 0372.00009 PDFBibTeX XML