Rereading "An introduction to quantaloid-enriched categories"

[dmm]

I used to understand this material in 2012-2014 (I even mentioned it in our own paper published in those years), and it turned out recently that I no longer could reproduce the detailed definitions from memory.

So I am rereading this paper by Isar Stubbe, it's really nice, not excessively difficult (I usually have difficult time reading categorical papers, but this one is a pleasant exception).

Links are in the comments.

Comments

[dmm]

"An introduction to quantaloid-enriched categories": http://www-lmpa.univ-littoral.fr/~stubbe/PDF/SurveyQCats.pdf

http://www-lmpa.univ-littoral.fr/~stubbe/

[dmm]

Our own paper mentioning this is "Some corollaries of the correspondence between partial metrics and multivalued equalities" in "Fuzzy Sets and Systems", here it is on SciHub (section 8.6 on page 15):

https://sci-hub.se/https://www.sciencedirect.com/science/article/abs/pii/S0165011413003722

This paper is the final accord of this research sequence:

https://www.cs.brandeis.edu/~bukatin/distances_and_equalities.html