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 orthogonalfactorisation system (lofs) whose corresponding weak factorisation system hasembeddings as left part. In addition, we present presheaf submonads and studythe LOFSs they define. This provides a method of constructing weakfactorisation systems on some well-known examples of topological categoriesover $\mathsf{Set}$.Comment: 13 pages. Minor changes from previous versio
Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proo...
We extend the constructive dependent type theory of the Logical Framework LF with a family of monads...
AbstractIt is known that factorisation systems in categories can be viewed as unitary pseudo-algebra...
Abstract: This paper introduces lax orthogonal algebraic weak factorisation sys-tems on 2-categories...
This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and descr...
AbstractMotivated by the problem of internalizing Enriched Category Theory in a topos, we investigat...
We investigate those lax extensions of a Set-monad T = (T,m, e) to the category V-Rel of sets and V-...
AbstractWe combine two research directions of the past decade, namely the development of a lax-algeb...
AbstractIt is shown that many weak factorization systems appearing in functorial Quillen model categ...
We describe an equivalent formulation of algebraic weak factorisation systems, not involving monads ...
AbstractThis paper contributes to the algebraization of topology via the theory of monads and lax ex...
In this work, we describe an adjunction between the comma category of Set-based monads under the V-p...
Various weakenings of monoidal category have been in existence almost as long as the notion itself. ...
AbstractWe develop the relationship between algebraic structure and monads enriched over the monoida...
Fibrewise notions of continuous lattice, continuous Scott domain, and stably compact space were intr...
Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proo...
We extend the constructive dependent type theory of the Logical Framework LF with a family of monads...
AbstractIt is known that factorisation systems in categories can be viewed as unitary pseudo-algebra...
Abstract: This paper introduces lax orthogonal algebraic weak factorisation sys-tems on 2-categories...
This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and descr...
AbstractMotivated by the problem of internalizing Enriched Category Theory in a topos, we investigat...
We investigate those lax extensions of a Set-monad T = (T,m, e) to the category V-Rel of sets and V-...
AbstractWe combine two research directions of the past decade, namely the development of a lax-algeb...
AbstractIt is shown that many weak factorization systems appearing in functorial Quillen model categ...
We describe an equivalent formulation of algebraic weak factorisation systems, not involving monads ...
AbstractThis paper contributes to the algebraization of topology via the theory of monads and lax ex...
In this work, we describe an adjunction between the comma category of Set-based monads under the V-p...
Various weakenings of monoidal category have been in existence almost as long as the notion itself. ...
AbstractWe develop the relationship between algebraic structure and monads enriched over the monoida...
Fibrewise notions of continuous lattice, continuous Scott domain, and stably compact space were intr...
Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proo...
We extend the constructive dependent type theory of the Logical Framework LF with a family of monads...
AbstractIt is known that factorisation systems in categories can be viewed as unitary pseudo-algebra...