11 citations · 21 across the 6 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.CT2017★ 3 cited
Measuring Comodules and Enrichment
Martin Hyland, Ignacio Lopez Franco, Christina Vasilakopoulou
This paper extends the theory of universal measuring comonoids to modules and comodules in braided monoidal categories. We generalise the universal measuring comodule Q(M,N), origi…
math.CT2017
Lax orthogonal factorisations in ordered structures
Maria Manuel Clementino, Ignacio Lopez Franco
We give an account of lax orthogonal factorisation systems on order-enriched categories. Among them, we define and characterise the KZ-reflective ones, in a way that mirrors the ch…
math.CT2017★ 3 cited
Lax orthogonal factorisations in monad-quantale-enriched categories
Maria Manuel Clementino, Ignacio Lopez Franco
We show that, for a quantale and a -monad laxly extended to -, the presheaf monad on the category of -categories is…