scientific article

zbMath0785.18002MaRDI QIDQ3138550

Peter T. Johnstone

Publication date: 14 April 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

localemonads2-categoryGrothendieck topospartial productbagdomainhyperlocal toposespowerdomain constructiontheory of databases

Mathematics Subject Classification ID

Database theory (68P15) Abstract data types; algebraic specification (68Q65) Topoi (18B25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (11)

Discrete random variables over domains ⋮ Variations on the bagdomain theme ⋮ On representation and querying incomplete information in databases with bags ⋮ Monads for which structures are adjoint to units ⋮ Limits in free coproduct completions ⋮ Comparing material and structural set theories ⋮ A presentation of the initial lift-algebra ⋮ Spreads and the symmetric topos ⋮ Spreads and the symmetric topos. II ⋮ Natural models of homotopy type theory ⋮ Fibrations and partial products in a 2-category

This page was built for publication: