DeepAI
Log In Sign Up

Codensity Lifting of Monads and its Dual

10/18/2018
by   Shin-ya Katsumata, et al.
0

We introduce a method to lift monads on the base category of a fibration to its total category. This method, which we call codensity lifting, is applicable to various fibrations which were not supported by its precursor, categorical TT-lifting. After introducing the codensity lifting, we illustrate some examples of codensity liftings of monads along the fibrations from the category of preorders, topological spaces and extended pseudometric spaces to the category of sets, and also the fibration from the category of binary relations between measurable spaces. We also introduce the dual method called density lifting of comonads. We next study the liftings of algebraic operations to the codensity liftings of monads. We also give a characterisation of the class of liftings of monads along posetal fibrations with fibred small meets as a limit of a certain large diagram.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/15/2022

Saturated Kripke Structures as Vietoris Coalgebras

We show that the category of coalgebras for the compact Vietoris endofun...
07/02/2022

On Structuring Functional Programs with Monoidal Profunctors

We study monoidal profunctors as a tool to reason and structure pure fun...
12/31/2019

Interaction laws of monads and comonads

We introduce and study functor-functor and monad-comonad interaction law...
09/06/2018

Extending set functors to generalised metric spaces

For a commutative quantale V, the category V-cat can be perceived as a c...
10/27/2019

Computer-supported Exploration of a Categorical Axiomatization of Modeloids

A modeloid, a certain set of partial bijections, emerges from the idea t...
02/23/2018

Guarded Traced Categories

Notions of guardedness serve to delineate the admissibility of cycles, e...
07/04/2018

Learning Fuzzy Set Representations of Partial Shapes on Dual Embedding Spaces

Modeling relations between components of 3D objects is essential for man...