Some algebraic problems in the context of functorial semantics of algebraic theories

DOI10.1007/BFb0077116zbMath0204.33802MaRDI QIDQ5602981

F. William Lawvere

Publication date: 1968

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

zbMATH Keywords

algebraic categoryfunctorial semantics

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (32)

Unnamed Item ⋮ Unnamed Item ⋮ Representing varieties of algebras by algebras ⋮ Higher Lawvere theories ⋮ On the commutative algebra of categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES ⋮ Varieties of chain-complete algebras ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ Types, abstraction, and parametric polymorphism, part 2 ⋮ The Birkhoff theorem for finite algebras ⋮ Extension of Algebraic Theories ⋮ On 1-form classifiers^∗ ⋮ Extension of Algebraic Theories ⋮ Introduction: A personal tribute to Peter Freyd and Bill Lawvere ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Metrizability and coconnectedness ⋮ Characterizing Mal'cev conditions ⋮ Combining effects: sum and tensor ⋮ Homotopy-coherent algebra via Segal conditions ⋮ On the relationship between composite and tensor product triples ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the quasivariety on convex subsets of affine spaces ⋮ Two-dimensional models of type theory ⋮ Une approche transformationnelle à l'algèbre universelle. (A transformational approach to universal algebra) ⋮ All clones are centralizer clones ⋮ Functorial models for Petri nets ⋮ On coconnected algebras

This page was built for publication: Some algebraic problems in the context of functorial semantics of algebraic theories