scientific article; zbMATH DE number 872568

MaRDI QIDQ4876240zbMATH OpenFDO

Authors André Joyal

Publication date 8 October 1996

zbMATH Keywords

categories enriched over monoidal categoryclosed monoidal categorycocontinuitycomplete and cocompleteconstruction of free latticescontinuous functorsextension theoremsfree bicomplete categorysoft hom-functorsoftness

Mathematics Subject Classification ID

Free lattices, projective lattices, word problems (06B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)

Cited in

(8)

• Algebraic structure for bicategory enriched categories
• Freyd categories are enriched Lawvere theories
• Variation on a comprehensive theme
• A Survey of (∞, 1)-Categories
• On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
• A simplicial approach to stratified homotopy theory
• Free -lattices
• Type isomorphisms for multiplicative-additive 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 Q4876240)