2015/09/07 by Takuo Matsuoka, Matsuoka, Takuo
Computer Science · Mathematics · #03C05 #18C10 #18D10 #18D50 #Advanced Algebra and Logic #Advanced Topics in Algebra #Category Theory (math.CT) #FOS: Mathematics #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.1509.01582
openalex publication_date 2015/09/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We give an introduction to the topics of our forthcoming work, in which we introduce and study new mathematical objects which we call "higher theories" of algebras, where inspiration for the term comes from William Lawvere's notion of "algebraic theory". Indeed, our "theories" are `higher order' generalizations of coloured operad or multicategory, where we see an operad as analogous to Lawvere's theory. Higher theories are obtained by iterating a certain process, which we call "theorization", generalizing categorification in the sense of Louis Crane. The hierarchy of all iterated theorizations contains in particular, the hierarchy of all higher categories. As an expanded introduction to the mentioned work, we here introduce the notion of theorization, discuss basic ideas, notions, examples, facts and problems about theorization, and describe how these lead to our work, and what will be achieved.