Triples and compact sheaf representation

DOI10.1016/0022-4049(81)90046-3MaRDI QIDQ1150684zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3152563 (Why is no real title available?)
• scientific article; zbMATH DE number 3296290 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3319584 (Why is no real title available?)
• scientific article; zbMATH DE number 3350112 (Why is no real title available?)
• scientific article; zbMATH DE number 3365335 (Why is no real title available?)
• Adjoint functors and triples
• Equational completion, model induced triples and pro-objects
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• On the topological duality for primal algebra theory
• Prime Ideal Structure in Commutative Rings
• Representations of algebras by continuous sections
• Sheaves of structures and generalized ultraproducts
• Structure Theory for Equational Classes Generated by Quasi-Primal Algebras
• Structure and costructure for strongly regular rings
• The representation of biregular rings by sheaves
• The ternary discriminator function in universal algebra

Cited in

(8)

• Monoids of non-halting programs with tests
• Monoids with tests and the algebra of possibly non-halting programs
• Axiomatization of if-then-else over possibly non-halting programs and tests
• Actions of Boolean rings on sets
• Separable algebraic closure in a topos
• Comparison semigroups and algebras of transformations.
• Integral domain type representations in sheaves and other topoi
• scientific article; zbMATH DE number 4177137 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1150684)