*-autonomous categories. With an appendix by Po-Hsiang Chu

Publication date: 1979

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Banach spaces duality projective limits variety semilattices uniform space symmetric monoidal categories free algebras *-autonomous category duality in vector spaces preuniform object topological abelian groups

Mathematics Subject Classification ID

Uniform structures and generalizations (54E15) Duality theory for topological vector spaces (46A20) Duality theorems for locally compact groups (22D35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Embedding theorems, universal categories (18B15) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

The Isbell monad, The diffeomorphism group of the solid closed torus and Hochschild homology, Linear domains and linear maps, Holomorphic models of exponential types in linear logic, A syntax for linear logic, Generalizing topological set operators, Semantics of weakening and contraction, AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS, The differential lambda-calculus, Bifibrations of polycategories and classical linear logic, Bar categories and star operations, Coherence in SMCCs and equivalences on derivations in IMML with unit, Functorial methods in the theory of group representations. I, Enhancing the filtered derived category, Unnamed Item, Stone dualities from opfibrations, Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions, A duality formalism in the spirit of Grothendieck and Verdier, Twist structures and Nelson conuclei, Remarks on classifications and adjunctions, Unnamed Item, Sierpinski object for affine systems, Categorical foundations of variety-based bornology, Lattice-valued topological systems as a framework for lattice-valued formal concept analysis, Coalgebras, Chu spaces, and representations of physical systems, Proof of a conjecture of S. Mac Lane, Autonomous posets and quantales, Big toy models. Representing physical systems as Chu spaces, Topological systems as a framework for institutions, From petri nets to linear logic, A dialectica-like model of linear logic, A comparison between monoidal and substructural logics, Stone Dualities from Opfibrations, Grothendieck-Verdier duality patterns in quantum algebra, Proof Nets, Coends and the Yoneda Isomorphism, Sequential Measurements, Topological Quantum Field Theories, and Topological Quantum Neural Networks, Glueing and orthogonality for models of linear logic, Chu spaces as a semantic bridge between linear logic and mathematics., On limits and colimits of variety-based topological systems, LNL polycategories and doctrines of linear logic, On a generalization of the concept of state property system, Coherence for compact closed categories, Some classes of abstract simplicial complexes motivated by module theory, The continuous weak order, Categorical foundations of variety-based topology and topological systems, Pre-rigid monoidal categories, Smooth coalgebra: testing vector analysis, Product of Chu spaces in the category of \(Chu(S-Act)\), Mackey-complete spaces and power series – a topological model of differential linear logic, Character sheaves on unipotent groups in positive characteristic: foundations., Unnamed Item, Unnamed Item, General Stone duality., The subvariety of commutative residuated lattices represented by twist-products, The categorical imperative: category theory as a foundation for deontic logic, Unnamed Item, Unnamed Item, A topologist's view of Chu spaces, Category of Chu spaces over S-Act category, Completeness of the category of separable Chu spaces, A Monoidal Category of Bifinite Chu Spaces, Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets., Dialogue Categories and Frobenius Monoids, Structure and representation of semimodules over inclines, Girard couples of quantales, Spaces modelled by an algebra on \([0,\infty \) and their complete objects], Generalized fuzzy topology versus non-commutative topology, Probabilistic coherence spaces as a model of higher-order probabilistic computation, Categorical relationships between Goguen sets and ``two-sided categorical models of linear logic, Algebraic and Categorical Aspects of Quantales, One-sided Hopf algebras and quantum quasigroups, Set relations and set systems induced by some families of integral domains, Channels: From Logic to Probability, From Petri nets to linear logic, Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic, Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories, Unnamed Item, Chain logic and Shelah's infinitary logic, Unnamed Item, Unnamed Item, Category of Chu spaces over \(S\)-act category, Dwyer–Kan homotopy theory for cyclic operads, Rough Sets: From Rudiments to Challenges, \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic, Idempotent residuated structures: Some category equivalences and their applications, Feedback for linearly distributive categories: Traces and fixpoints, An abstract approach to stratification in linear logic, De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure, Full intuitionistic linear logic, Symmetric Self-adjunctions and Matrices, The Physical Meaning of the Holographic Principle, Frobenius quantales, Serre quantales and the Riemann-Roch theorem