Quantale valued sets: categorical constructions and properties
From MaRDI portal
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract model theory (03C95) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categorical structures (18D99) Accessible and locally presentable categories (18C35) Mathematical logic and foundations (03-XX)
This page was built for publication: Quantale valued sets: categorical constructions and properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6987212)