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