scientific article

zbMath0815.18004MaRDI QIDQ3984290

Florence Cury

Publication date: 27 June 1992

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rigidificationinitial semanticsfinal objectfibered productsconnected completenesslax-locally Cartesian category

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) 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)

Related Items

Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Detecting equivalence of modular specifications with categorical diagrams, Unnamed Item