Please use this identifier to cite or link to this item:
https://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: | https://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 | Size | Format | |
---|---|---|---|---|
1701.05510_revised.pdf | 380.86 kB | Adobe PDF | View/Open |
Page view(s)
116
checked on Oct 9, 2024
Download(s)
81
checked on Oct 9, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.