scientific article; zbMATH DE number 1497804

zbMath0961.18004MaRDI QIDQ4499222

Jan Paseka

Publication date: 4 March 2001

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

zbMATH Keywords

tensor productgeometry of interactioncompact closed categoriesnuclear mapstrace idealsinvolutive quantaleHilbert \(T\)-modulesHilbert 2-modulesmodels of multiplicative linear logicposetal models of linear logic

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Frames, locales (06D22) 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) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (7)

On a generalization of the concept of state property system ⋮ Groupoid sheaves as quantale sheaves ⋮ Sheaves as modules ⋮ Algebraic and Categorical Aspects of Quantales ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ Functoriality of groupoid quantales. II ⋮ Morita equivalence of pseudogroups

This page was built for publication: