scientific article; zbMATH DE number 1497804
compact closed categoriesgeometry of interactionHilbert 2-modulesHilbert \(T\)-modulesinvolutive quantalemodels of multiplicative linear logicnuclear mapsposetal models of linear logictensor producttrace ideals
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Frames, locales (06D22) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Preorders, orders, domains and lattices (viewed as categories) (18B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
- A duality for modules over monoidal categories of representations of semisimple Hopf algebras
- On the Hochschild cohomology ring modulo nilpotence of the quiver algebra with quantum-like relations
- Nuclear and trace ideals in tensored \(^*\)-categories
- scientific article; zbMATH DE number 177396
- scientific article; zbMATH DE number 1804029
- Proto-exact categories of modules over semirings and hyperrings
- Dualizable and semi-flat objects in abstract module categories
- Congruence and nucleus of double quantale modules
- Quasiidentities implying modularity and related conditions in lattices of overcommutative semigroup varieties
- \(C^\ast\)-algebras associated with Hilbert \(C^\ast\)-quad modules of finite type
- Nuclear and trace ideals in tensored \(^*\)-categories
- Functoriality of groupoid quantales. II
- Morita equivalence of pseudogroups
- Algebraic and categorical aspects of quantales
- Relating operator spaces via adjunctions
- On a generalization of the concept of state property system
- Groupoid sheaves as quantale sheaves
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Sheaves as modules
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 Q4499222)