scientific article; zbMATH DE number 25966

MaRDI QIDQ3984290zbMATH OpenFDO

Authors Florence Cury

Publication date 27 June 1992

Full work available at URL https://eudml.org/doc/193038

zbMATH Keywords

connected completenessfibered productsfinal objectinitial semanticslax-locally Cartesian categoryrigidification

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• Locally cartesian closed categories and type theory
• On completeness of locally-internal categories
• Cartesian closedness of categories of completely distributive lattices
• Locally Cartesian closed quasi-categories from type theory
• The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
• The biequivalence of locally Cartesian closed categories and Martin-Löf type theories
• scientific article; zbMATH DE number 4010480
• Locally cartesian closed categories without chosen constructions
• Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types
• INITIAL COMPLETIONS OF MONOTOPOLOGICAL CATEGORIES, AND CARTESIAN CLOSEDNESS

Cited in

(9)

• Detecting equivalence of modular specifications with categorical diagrams
• scientific article; zbMATH DE number 1080905 (Why is no real title available?)
• scientific article; zbMATH DE number 1522144 (Why is no real title available?)
• scientific article; zbMATH DE number 1525070 (Why is no real title available?)
• scientific article; zbMATH DE number 1555491 (Why is no real title available?)
• scientific article; zbMATH DE number 840413 (Why is no real title available?)
• scientific article; zbMATH DE number 840414 (Why is no real title available?)
• scientific article; zbMATH DE number 854288 (Why is no real title available?)
• scientific article; zbMATH DE number 896181 (Why is no real title available?)

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