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
| |
|