scientific article
From MaRDI portal
Publication:3984290
zbMath0815.18004MaRDI QIDQ3984290
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.
rigidificationinitial semanticsfinal objectfibered productsconnected completenesslax-locally Cartesian category
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