Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CALCO.2015.156
URN: urn:nbn:de:0030-drops-55329
URL: https://drops.dagstuhl.de/opus/volltexte/2015/5532/
Katsumata, Shin-ya ; Sato, Tetsuya
Codensity Liftings of Monads
| pdf-format: |
|
Abstract
We introduce a method to lift monads on the base category of a fibration to its total category using codensity monads. This method, called codensity lifting, is applicable to various fibrations which were not supported by the categorical >>-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 psuedometric spaces to the category of sets, and also the fibration from the category of binary relations between measurable spaces. We next study the liftings of algebraic operations to the codensity-lifted monads. We also give a characterisation of the class of liftings (along posetal fibrations with fibred small limits) as a limit of a certain large diagram.
BibTeX - Entry
@InProceedings{katsumata_et_al:LIPIcs:2015:5532,
author = {Shin-ya Katsumata and Tetsuya Sato},
title = {{Codensity Liftings of Monads}},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
pages = {156--170},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-84-2},
ISSN = {1868-8969},
year = {2015},
volume = {35},
editor = {Lawrence S. Moss and Pawel Sobocinski},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5532},
URN = {urn:nbn:de:0030-drops-55329},
doi = {10.4230/LIPIcs.CALCO.2015.156},
annote = {Keywords: Monads, Lifting, Fibration, Giry Monad}
}
| Keywords: | Monads, Lifting, Fibration, Giry Monad | |
| Seminar: | 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) | |
| Issue date: | 2015 | |
| Date of publication: | 28.10.2015 |
