Publication
Title
Symmetry and cauchy completion of quantaloid-enriched categories
Author
Abstract
We formulate an elementary condition on an involutive quantaloid Q under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids, which we call Cauchy-bilateral quantaloids, it follows that the Cauchy completion of any symmetric Q-enriched category is again symmetric. Examples include Lawvere's quantale of non-negative real numbers and Walters' small quantaloids of closed cribles.
Language
English
Source (journal)
Theory and applications of categories. - -
Publication
2011
ISSN
1201-561X
Volume/pages
25(2011), p. 276-426
ISI
000300166900002
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 18.04.2012
Last edited 14.04.2017
To cite this reference