Similar Items: Lax orthogonal factorisations in monad-quantale-enriched categories
- Monadic Second Order Logic with Measure and Category Quantifiers
- Weak bisimulation for coalgebras over order enriched monads
- An enriched view on the extended finitary monad--Lawvere theory correspondence
- A Note on the Topologicity of Quantale-Valued Topological Spaces
- Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
- The syntactic side of autonomous categories enriched over generalised metric spaces