Categorical generalization of a universal domain
From MaRDI portal
Publication:1306717
DOI10.1023/A:1008608823476zbMath0937.18002OpenAlexW1758577166MaRDI QIDQ1306717
Publication date: 30 May 2000
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008608823476
accessible categoryScott domainuniversal domainScott's theoremfinitely consistently cococmplete categoryScott complete category
Preorders, orders, domains and lattices (viewed as categories) (18B35) Embedding theorems, universal categories (18B15)
This page was built for publication: Categorical generalization of a universal domain