Codensity Lifting of Monads and its Dual
From MaRDI portal
Publication:4553284
DOI10.23638/LMCS-14(4:6)2018zbMath1398.18005arXiv1810.07972MaRDI QIDQ4553284
Shin-ya Katsumata, Tarmo Uustalu, Tetsuya Sato
Publication date: 2 November 2018
Full work available at URL: https://arxiv.org/abs/1810.07972
Fibered categories (18D30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
On bisimilarity in lambda calculi with continuous probabilistic choice, Weakest preconditions in fibrations, Divergences on monads for relational program logics, Graded Hoare logic and its categorical semantics, Weakest preconditions in fibrations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Notions of computation and monads
- On the relations between monadic semantics
- Structural induction and coinduction in a fibrational setting
- Categorical logic and type theory
- Fixpoint semantics and simulation
- Domain theory, testing and simulation for labelled Markov processes
- Fibrational bisimulations and quantitative reasoning
- Algebraic operations and generic effects
- Relating computational effects by \(\top \top \)-lifting
- Lax extensions of coalgebra functors and their logic
- Functors are Type Refinement Systems
- Comonadic Notions of Computation
- Similarity Quotients as Final Coalgebras
- Logical relations for monadic types
- [top [top ]-closed relations and admissibility]
- Parametric polymorphism and operational equivalence
- Preorders on Monads and Coalgebraic Simulations
- Inductive reasoning about effectful data types
- Relating models of backtracking
- Computer Science Logic
- Bisimulation on Markov Processes over Arbitrary Measurable Spaces
- Relational algebras
- Typed Lambda Calculi and Applications