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

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, Nominal lambda calculus: an internal language for FM-Cartesian closed categories, A connection between concurrency and language theory, \(\mu\)-abstract elementary classes and other generalizations, Fuzzy terms, Algebraic Kan extensions along morphisms of internal algebra classifiers, Clones with nullary operations., A short introduction to clones., Freyd categories are enriched Lawvere theories, Cover relations on categories, On flowchart theories. I. The deterministic case, Categorical aspects of data type constructors, Free monoid in monoidal abelian categories, Two Lax categorifications of Kalman algebras and the category of minimization heuristics, On the left exactness of orthogonal reflections, Generalized algebraic theories and contextual categories, Subobject classifier for algebraic structures, The fiber of functors between categories of algebras, On the existence of free topological groups, The partial clone of linear terms, Rigidification of algebras over multi-sorted theories, Finite generation of ambiguity in context-free languages, On the cobordism and commutative monoid with cancellation approaches to conformal field theory, Two-dimensional monad theory, Diagrams as sketches, Determinisation of relational substitutions in ordered categories with domain, 2-groups, trialgebras and their Hopf categories of representations, Equational properties of iteration in algebraically complete categories, The fundamental pro-groupoid of an affine 2-scheme, Final algebra semantics and data type extensions, A scalable module system, Universal algebra in a closed category, Natural transformations of organismic structures, Lifting homotopy \(T\)-algebra maps to strict maps, Categories localement multipresentables, Unique fixed points vs. least fixed points, Machines in a category, Categories multialgebriques, Varieties of chain-complete algebras, Free internal groups, On the relationship between algebra and analysis, Algebraic theory of vector-valued integration, Triples and compact sheaf representation, Inclusive first-order logic, More on advice on structuring compilers and proving them correct, Collapsed toposes and cartesian closed varieties, Clones of topological spaces, Recursion-closed algebraic theories, Classifying vectoids and operad kinds, Pluri-adjoints and preservation of finite limits, Cohomology operations in a category, The Birkhoff theorem for finite algebras, Two-vector spaces and groupoids, Properties of well-adapted models for synthetic differential geometry, Monads with arities and their associated theories, Characterization of the category of linearly ordered sets, Finitary quasi-varieties, Categorical (binary) difference terms and protomodularity, Regular trees and the free iterative theory, A class of fuzzy theories, Representing model theory in a type-theoretical logical framework, Dualizing clones into categories of topological spaces., Laplaza sets, or how to select coherence diagrams for pseudo algebras, An axiomatization of the algebra of Petri net concatenable processes, Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\), Isomorphism and local isomorphism of clones of spaces, Relations in operational categories, Higher cohomology operations and \(R\)-completion, Introduction: A personal tribute to Peter Freyd and Bill Lawvere, Algebra and local presentability: how algebraic are they? (A survey), Higher-dimensional word problems with applications to equational logic, Frobenius and the derived centers of algebraic theories, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, The identity type weak factorisation system, Adas and the equational theory of if-then-else, Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras, A cellular nerve for higher categories, Topological semi-abelian algebras, Quasi-commutative algebras, Canonical constraints for parameterized data types, Unification in commutative theories, Actions of Boolean rings on sets, A 2-categorial generalization of the concept of institution, A categorical approach to polyadic algebras, All clones are centralizer clones, Homotopy nilpotent groups, Algebras of iteration theories, Correctness of recursive parallel nondeterministic flow programs, Recursion and iteration in continuous theories: the M-construction, All solutions of a system of recursion equations in infinite trees and other contraction theories, P-varieties - a signature independent characterization of varieties of ordered algebras, A note on powers of Hausdorff fields, Order completion monads, A representation of varieties and their morphisms, Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories, Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories, On conceptual completeness of syntactic-semantical systems, Characterizing categories of algebras, Algebras, polynomials and programs, Interpretations of module varieties, Free quantaloids, Unnamed Item, Unnamed Item, Unnamed Item, Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?, Generic Algebras, Logic in Category Theory, ABSTRACTIONIST CATEGORIES OF CATEGORIES, Equational axioms for regular sets, Order-Sorted Parameterization and Induction, Cohomology of algebraic theories, Homotopy theory of normed sets II. Model categories, Unnamed Item, ESSENTIALLY ALGEBRAIC CATEGORIES, The solution to the embedding problem of a (differential) Lie algebra into its Wronskian envelope, Endofunctors of quandles and racks, Unnamed Item, Are locally finite MV-algebras a variety?, An explicit formula for the free exponential modality of linear logic, Unnamed Item, Unnamed Item, Unnamed Item, Elimination of quotients in various localisations of premodels into models, Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview, A comparison between monoidal and substructural logics, Homotopy theory of normed sets I. Basic constructions, Unnamed Item, Determinisation of Relational Substitutions in Ordered Categories with Domain, A categorical look at tree automata and context-free languages, Primitive recursion, equality, and a universal set, An Oxford survey of order sorted algebra, Algebras versus coalgebras, Varieties of ordered algebras as categories, C-system of a module over a \(Jf\)-relative monad, Equational axioms associated with finite automata for fixed point operations in cartesian categories, Unnamed Item, Semantic preserving translations, Categorically algebraic topology versus universal topology, Axiomatizing weighted synchronization trees and weighted bisimilarity, Unifying Guarded and Unguarded Iteration, Loop cohomology, Unnamed Item, Nominal Lawvere theories: a category theoretic account of equational theories with names, Aristotle, Boole, and Categories, Can a Quantum Computer Run the von Neumann Architecture?, Unnamed Item, Unnamed Item, Topology and logic as a source of algebra, Unnamed Item, Unnamed Item, Categorical aspects are useful for topology-after 30 years, Metrizability and coconnectedness, Unnamed Item, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, Unnamed Item, Morita equivalence of many-sorted algebraic theories, Partially Ordered Monads and Rough Sets, Unnamed Item, Unnamed Item, A Kleene Theorem for Forest Languages, The isomorphisms of the category of uniform spaces and related categories, Categorical Innovations for Rough Sets, Birkhoff'sche und kategorische Algebra, The tensor product of functors; satellites; and derived functors, Über die Existenz von freien Algebren, Kennzeichnung von primitiven und quasiprimitiven Kategorien von Algebren, Baer addition of extensions, Relative functor categories and categories of algebras, Petri nets based on Lawvere theories, Representable functors with values in arbitrary categories, Factorizations of morphisms \(f:B\to FA\), SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY†, Coequalizers and free triples, Gabriel–Ulmer duality and Lawvere theories enriched over a general base, Dagger extension theorem, An elementary characterization of the category of (free) relational systems, Kleene Theorem in Partial Conway Theories with Applications, Unnamed Item, The automorphism class group of the category of rings, Partielle Algebren in Initialkategorien. (Partial algebras in initial categories), Applied functorial semantics. I, Une approche transformationnelle à l'algèbre universelle. (A transformational approach to universal algebra), Unnamed Item, Categories de faisceaux, Structures quasi-quotient, Connected components and colimits, Computing over K-modules, A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274., Deriving Bisimulation Congruences: A 2-categorical Approach, The common algebraic structure of exit-automata and machines, Unique, guarded fixed points in an additive setting, Adjunction Models For Call-By-Push-Value With Stacks, Classifying categories for partial equational logic, The logic of recursive equations, Closed and open conformal field theories and their anomalies, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Exact Colimits and Fixed Points, 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, Topological systems as a framework for institutions, The Gray tensor product via factorisation, What is a logic translation?, The equational logic of fixed points, Completeness of Park induction, Finite limits and anti-unification in substitution categories, Term charters, Twenty years of rewriting logic, A characterization of k-ary algebraic categories, A general Galois theory for operations and relations in arbitrary categories, Combining word problems through rewriting in categories with products, General affine adjunctions, Nullstellensätze, and dualities, Towards an algebraic theory of Boolean circuits., Continuous extrapolation to triangular matrices characterizes smooth functions, Classes of finite relations as initial abstract data types. I, Bousfield localisation and colocalisation of one-dimensional model structures, Gabriel-Morita theory for excisive model categories, Uniqueness of Coxeter structures on Kac-Moody algebras, Quantaloidal nuclei, the syntactic congruence and tree automata, An algebraic model of synchronous systems, Convex spaces, affine spaces, and commutants for algebraic theories, Complete Elgot monads and coalgebraic resumptions, An algebraic semantics for structured transition systems and its application to logic programs, Foundations of a theory of synchronous systems, Monads and theories, Rigidification of homotopy algebras over finite product sketches, Algebraically compact functors, Conformal field theory and elliptic cohomology, On the existence and exactness of the associated sheaf functor, The partial clone of linear formulas, Program schemata as automata. I, Characterizing Mal'cev conditions, Locating reaction with 2-categories, Amalgamation in the semantics of CASL, On quasivarieties and varieties as categories, The diamond lemma for ring theory, The existence and construction of free iterative theories, Compatibility and extensions of algebraic theories, Varieties of ordered algebras, Observational congruences for dynamically reconfigurable tile systems, Affine parts of algebraic theories. I, A 2-categorical extension of Etingof-Kazhdan quantisation, Matricial theories, Rings, fields, and spectra, Mapping spaces and \(R\)-completion, On the algebraic structure of rooted trees, On the relationship between composite and tensor product triples, What we talk about when we talk about numbers, Tensor products of theories, application to infinite loop spaces, The category of complete lattices as a category of algebras, Enriched regular theories, Derived functors of graded algebras, Algebraic theories and commutativity in a sheaf topos, Algebraic theories of quasivarieties, Coxeter categories and quantum groups, On locales of localizations, Equational logic of circular data type specification, Similarities between powersets of terms, Group axioms for iteration, Finitely coordinated and finitely copresentable affine algebraic sets, The universal exponentiable arrow, Localizations of algebraic categories. II, Detecting equivalence of modular specifications with categorical diagrams, The partial clone of linear tree languages, V-cat and V-graph, Affine algebraic sets relative to an algebraic theory, Coherence and embedding of algebras, On the canonical algebraic structure of a category, Semistability and infinite loop spaces, Maps of finite powers of metric spaces (recursive conditions for spaces at work), Normal forms for algebras of connections., A functorial semantics for multi-algebras and partial algebras, with applications to syntax., On finitary functors and their presentations, Tile formats for located and mobile systems., Contrary-to-duty reasoning: a categorical approach, Semantic factorization and descent, Dynamic connectors for concurrency, Coalgebra morphisms subsume open maps, Models of Horn theories revisited, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic, On coconnected algebras, Taut monads and \(T0\)-spaces.