scientific article; zbMATH DE number 3995944

MaRDI QIDQ4723932zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

Cartesian closed categoriescombinatorial modelcontinuous posetsdisplay mapsfibrationindexed categoriesinternal completenessretractsslice categories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functor categories, comma categories (18A25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Fibered categories (18D30)

Recommendations

• scientific article; zbMATH DE number 742722
• A Cartesian closed subcategory of \(\mathcal {CONT}\) which contains all continuous domains
• scientific article; zbMATH DE number 1829710
• Cartesian closed extensions of subcategories of CONT
• scientific article; zbMATH DE number 1775339

Cited in

(6)

• Internal categories in Mal'cev categories
• The dependent product construction in various categories of domains
• A categorical approach to internality
• Relative injectivity as cocompleteness for a class of distributors
• scientific article; zbMATH DE number 4061471 (Why is no real title available?)
• Quantitative domains, groupoids and linear logic

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