scientific article; zbMATH DE number 431774
zbMATH Open0785.18002MaRDI QIDQ3138550FDOQ3138550
Authors: Peter Johnstone 
Publication date: 14 April 1994
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 431773
- scientific article; zbMATH DE number 1496860
- Topical categories of domains
- Continuous domains as formal spaces
- scientific article; zbMATH DE number 19039
- The symmetric topos
- scientific article; zbMATH DE number 860043
- Localisations of locally presentable categories. II
- Elementary axioms for local maps of toposes
- Representing geometric morphisms using power locale monads
monads2-categorylocaleGrothendieck topospartial productbagdomainhyperlocal toposespowerdomain constructiontheory of databases
Database theory (68P15) Topoi (18B25) Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract data types; algebraic specification (68Q65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cited In (15)
- Natural models of homotopy type theory
- Fibrations and partial products in a 2-category
- A presentation of the initial lift-algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- Discrete random variables over domains
- Spreads and the symmetric topos. II
- Monads for which structures are adjoint to units
- Limits in free coproduct completions
- Title not available (Why is that?)
- Spreads and the symmetric topos
- Variations on the bagdomain theme
- On representation and querying incomplete information in databases with bags
- On the dependent product in toposes
- Comparing material and structural set theories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138550)
