scientific article; zbMATH DE number 3606647

zbMATH Open0391.18010MaRDI QIDQ4172203FDOQ4172203

R. J. Wood

Publication date: 1978

Title of this publication is not available (Why is that?)

zbMATH Keywords

PullbackFibrationColimitsLimitsBiclosed Monoidal StructureCartesian-Closed Base CategoryCartesion Internal HomsComma CategoriesEnriched CategoriesFinitely Presented MonoidsKan ExtensionsLeft Exact FunctorMonoidal EmbeddingNatural TransformationStrict Monoidal CategoryV-Indexed Categories

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)

Cited In (2)

• Graded Hoare logic and its categorical semantics
• An embedding theorem for tangent categories

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