9 citations · 9 across the 3 of their papers we have counts for
Showing 2010 · math.CTShow all
2 papers · 2 filters
math.CT2010
Elementary characterisation of small quantaloids of closed cribles
Hans Heymans, Isar Stubbe
Each small site (C,J) determines a small quantaloid of closed cribles R(C,J). We prove that a small quantaloid Q is equivalent to R(C,J) for some small site (C,J) if and only if th…
math.CT2010★ 9 cited
Symmetry and Cauchy completion of quantaloid-enriched categories
Hans Heymans, Isar Stubbe
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 c…