scientific article
From MaRDI portal
Publication:3138550
zbMath0785.18002MaRDI QIDQ3138550
Publication date: 14 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
localemonads2-categoryGrothendieck topospartial productbagdomainhyperlocal toposespowerdomain constructiontheory of databases
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
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
