FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

DOI10.1073/pnas.50.5.869zbMath0119.25901OpenAlexW2107674601WikidataQ36416056 ScholiaQ36416056MaRDI QIDQ5730919

F. William Lawvere

Publication date: 1963

Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1073/pnas.50.5.869

zbMATH Keywords

general algebraic structures

Related Items (only showing first 100 items - show all)

Categorical algebra ⋮ A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ THE POWER OF THE GROUP-IDENTITIES FOR ITERATION ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Koszul duality for props ⋮ Relating two categorical models of term rewriting ⋮ Axiomatizing Petri net concatenable processes ⋮ A unified framework for notions of algebraic theory ⋮ A categorical view of varieties of ordered algebras ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ Universal coalgebra and categories of transition systems ⋮ Every Elementary Higher Topos has a Natural Number Object ⋮ Unnamed Item ⋮ Organismic supercategores: II. On multistable systems ⋮ Causal inference via string diagram surgery ⋮ Unnamed Item ⋮ Towards a Categorical Theory of Creativity for Music, Discourse, and Cognition ⋮ Unnamed Item ⋮ Unification properties of commutative theories: A categorical treatment ⋮ CPO models for infinite term rewriting ⋮ Hopf monads: a survey with new examples and applications ⋮ DisCoPy: Monoidal Categories in Python ⋮ Models of HoTT and the Constructive View of Theories ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ On the category of \(L\)-fuzzy automata, coalgebras and dialgebras ⋮ Enriched Lawvere Theories for Operational Semantics ⋮ Moduli of spaces with prescribed homotopy groups ⋮ Rewriting logic as a semantic framework for concurrency: a progress report ⋮ Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories ⋮ GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES ⋮ Types, abstraction, and parametric polymorphism, part 2 ⋮ Program correctness and matricial iteration theories ⋮ A diagrammatic view of differential equations in physics ⋮ A categorical framework for modeling with stock and flow diagrams ⋮ Monodromy of the Casimir connection of a symmetrisable Kac-Moody algebra ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An Interpolation Theorem for Adjoint Functors ⋮ Unnamed Item ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Monoidal logics: completeness and classical systems ⋮ An Elementary Theory of the Category of Topological Spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Quandle cohomology is a Quillen cohomology ⋮ Extension of Algebraic Theories ⋮ Some facets of Horn covarieties in a category ⋮ Permutations, power operations, and the center of the category of racks ⋮ Extension of Algebraic Theories ⋮ Unnamed Item ⋮ Foundations and Applications: Axiomatization and Education ⋮ A Generalized Version of the Baker–Pixley Theorem ⋮ From Γ-spaces to algebraic theories ⋮ A note on effectively projective objects ⋮ Categorical rewriting of term-like structures ⋮ Syntactic characterizations of various classes of locally presentable categories ⋮ Unnamed Item ⋮ On multivarieties and multialgebraic categories ⋮ Algèbres rationnelles et variétés algébriques sur un corps commutatif quelconque ⋮ On algebraically exact categories and essential localizations of varieties ⋮ Adding structure to MV-algebras ⋮ Unnamed Item ⋮ Every homotopy theory of simplicial algebras admits a proper model ⋮ Topos Theory in Montréal in the 1970s: My Personal Involvement ⋮ Order-enriched solid functors ⋮ Noncommutative network models ⋮ A categorical manifesto ⋮ ALGEBRAIC NEW FOUNDATIONS ⋮ Unnamed Item ⋮ Partial clones ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ List Objects with Algebraic Structure ⋮ Category theory for genetics I: mutations and sequence alignments ⋮ Structure of categories ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION ⋮ Confluence of algebraic rewriting systems ⋮ An algebraic theory of clones ⋮ A cohomology theory for \(A(m)\)-algebras and applications ⋮ On the notion of bimodel for functorial semantics ⋮ On reflective subcategories of varieties ⋮ Maps between a space and its square ⋮ Galois theory and a general notion of central extension ⋮ An algebraic theory of normal forms ⋮ Lawvere theories enriched over a general base ⋮ On homotopy varieties ⋮ Topological theories and closed objects ⋮ Quantaloids, enriched categories and automata theory ⋮ On the invertibility of quantization functors ⋮ Logical quantization of differential geometry ⋮ Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories ⋮ Logical quantizations of first-order structures ⋮ Combination problems for commutative/monoidal theories or how algebra can help in equational unification ⋮ On the generic solution to \(P(X)\cong X\) in distributive categories ⋮ Algebraic theories, clones and their segments

This page was built for publication: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES