Some algebraic problems in the context of functorial semantics of algebraic theories
From MaRDI portal
Publication:5602981
DOI10.1007/BFb0077116zbMath0204.33802MaRDI QIDQ5602981
Publication date: 1968
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
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