Lax orthogonal factorisations in monad-quantale-enriched categories
We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system (lofs) whose corresponding weak factorisation system has em...
Main Authors: | Maria Manuel Clementino, Ignacio Lopez Franco |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2017-09-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/2667/pdf |
Similar Items
-
Kan extensions in enriched category theory /
by: 313184 Dubuk, Eduardo
Published: (1970) -
An enriched view on the extended finitary monad--Lawvere theory correspondence
by: Richard Garner, et al.
Published: (2018-02-01) -
Exact categories and categories of sheaves /
by: 312890 Barr, Michael, et al.
Published: (1971) -
Categories and sheaves /
by: Kashiwara, Masaki, 1947-, et al.
Published: (2006) -
Categories and functors /
by: 310579 Pareigis, Bodo
Published: (1970)