Similar Items: The syntactic side of autonomous categories enriched over generalised metric spaces
- Extending set functors to generalised metric spaces
- Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
- Lax orthogonal factorisations in monad-quantale-enriched categories
- From Proof Nets to the Free *-Autonomous Category
- Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
- Weak bisimulation for coalgebras over order enriched monads