Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/89419
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.
URI: http://hdl.handle.net/10316/89419
ISSN: 1860-5974
DOI: doi.org/10.23638/LMCS-13(3:32)2017
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)

22
checked on Jul 9, 2020

Download(s)

2
checked on Jul 9, 2020

Google ScholarTM

Check

Altmetric

Altmetric


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