加载中…
We show that, for a quantale and a -monad laxly extended to -, the presheaf monad on the category of -categories is simple, giving rise to a lax orthogonal factorisation system (lofs) whose corresponding weak factorisation system has embeddings as left part. In addition, we present presheaf submonads and study the LOFSs they define. This provides a method of constructing weak factorisation systems on some well-known examples of topological categories over .

生成讲解博客的中文版本

生成AI智能校验的中文版本