Equational completion, model induced triples and pro-objects

DOI10.1016/0022-4049(71)90001-6zbMath0234.18006OpenAlexW1972652030MaRDI QIDQ2551508

John F. Kennison, Dion Gildenhuys

Publication date: 1971

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(71)90001-6

Mathematics Subject Classification ID

Special categories (18B99) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Foundations, relations to logic and deductive systems (18A15)

Related Items (21)

Unnamed Item ⋮ Unnamed Item ⋮ Generic Algebras ⋮ Codensity and the Giry monad ⋮ Triples and compact sheaf representation ⋮ The Birkhoff theorem for finite algebras ⋮ D-ultrafilters and their monads ⋮ Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ Structure and costructure for strongly regular rings ⋮ Density presentations of functors ⋮ On the cohomology of certain topological colimits of pro-C-groups ⋮ Integral domain type representations in sheaves and other topoi ⋮ Unnamed Item ⋮ Categories ⋮ Profinite Monads, Profinite Equations, and Reiterman’s Theorem ⋮ Colimit-dense subcategories ⋮ Free pro-\b C-groups ⋮ Codensity, profiniteness and algebras of semiring-valued measures ⋮ Algebraically expandable classes ⋮ Quantifiers on languages and codensity monads ⋮ Triple Cohomology and the Galois Cohomology of Profinite Groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The cohomology of groups acting on trees
• Galois Cohomology
• Pseudocompact algebras, profinite groups and class formations
• Etale homotopy
• Free pro-\b C-groups
• Linear kompakte Moduln und Ringe
• A Problem on Inverse Mapping Systems
• Linearly Compact Modules and Rings

This page was built for publication: Equational completion, model induced triples and pro-objects