Triples and compact sheaf representation

DOI10.1016/0022-4049(81)90046-3zbMath0457.18011OpenAlexW2006735442MaRDI QIDQ1150684

John F. Kennison

Publication date: 1981

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(81)90046-3

zbMATH Keywords

comparisonalgebramonadsheaf representationstripleultrasheaf

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (8)

Monoids of non-halting programs with tests ⋮ Separable algebraic closure in a topos ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ Comparison semigroups and algebras of transformations. ⋮ Integral domain type representations in sheaves and other topoi ⋮ Actions of Boolean rings on sets ⋮ Unnamed Item ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structure and costructure for strongly regular rings
• Adjoint functors and triples
• The representation of biregular rings by sheaves
• The ternary discriminator function in universal algebra
• Equational completion, model induced triples and pro-objects
• On the topological duality for primal algebra theory
• Sheaves of structures and generalized ultraproducts
• Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
• Prime Ideal Structure in Commutative Rings
• Representations of algebras by continuous sections
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Triples and compact sheaf representation