FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

1963/11/01 by F. William Lawvere · 14 citations
Computer Science · Decision Sciences · Mathematics · #Advanced Algebra and Logic #Advanced Topics in Algebra #Algebra over a field #Algebraic number #Computer science #Fuzzy and Soft Set Theory #Mathematics #Programming language #Pure mathematics #Semantics (computer science)

paper · doi:10.1073/pnas.50.5.869

crossref issued 1963/11/01 · crossref published 1963/11/01 · crossref published-online 1963/11/01 · crossref published-print 1963/11/01 · openalex publication_date 1963/11/01 · crossref created 2006/05/31 · crossref deposited 2022/04/13 · openalex created_date 2025/10/10 · crossref indexed 2026/08/05 · openalex updated_date 2026/08/05

Cited by

• Categorical algebra
• The identity type weak factorisation system
• First Steps towards Categorical Algebraic Artificial Chemistry
• A Non-Abelian, Categorical Ontology of Spacetimes and Quantum Gravity
• Rewriting Structured Cospans: A Syntax For Open Systems
• Functorial semantics for partial theories
• The Gray Tensor Product Via Factorisation
• Elimination of Quotients in Various Localisations of Premodels into Models
• Equational axioms associated with finite automata for fixed point operations in cartesian categories
• A cost-aware logical framework
• A Prehistory of n-Categorical Physics
• Monads with arities and their associated theories
• A Torus Theorem for homotopy nilpotent groups
• Categorical logic [wikipedia]