Please use this identifier to cite or link to this item:
Title: Lax orthogonal factorisations in monad-quantale-enriched categories
Authors: Clementino, Maria Manuel 
López-Franco, Ignacio
Issue Date: Sep-2017
Publisher: Logical Methods in Computer Science
Project: CMUC-UID/MAT/00324/2013 
Serial title, monograph or event: Logical Methods in Computer Science
Volume: 13
Issue: 3
Abstract: We show that, for a quantale V and a Set-monad T laxly extended to V-Rel, the presheaf monad on the category of (T,V)-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 Set.
ISSN: 1860-5974
Rights: openAccess
Appears in Collections:I&D CMUC - Artigos em Revistas Internacionais

Files in This Item:
File Description SizeFormat
1701.05510_revised.pdf380.86 kBAdobe PDFView/Open
Show full item record

Page view(s)

checked on Jul 9, 2020


checked on Jul 9, 2020

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.