Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/89419
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Clementino, Maria Manuel | - |
dc.contributor.author | López-Franco, Ignacio | - |
dc.date.accessioned | 2020-06-01T17:01:37Z | - |
dc.date.available | 2020-06-01T17:01:37Z | - |
dc.date.issued | 2017-09 | - |
dc.identifier.issn | 1860-5974 | pt |
dc.identifier.uri | https://hdl.handle.net/10316/89419 | - |
dc.description.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. | pt |
dc.language.iso | eng | pt |
dc.publisher | Logical Methods in Computer Science | pt |
dc.relation | CMUC-UID/MAT/00324/2013 | pt |
dc.rights | openAccess | pt |
dc.title | Lax orthogonal factorisations in monad-quantale-enriched categories | pt |
dc.type | article | - |
degois.publication.firstPage | 1 | pt |
degois.publication.lastPage | 16 | pt |
degois.publication.issue | 3 | pt |
degois.publication.title | Logical Methods in Computer Science | pt |
dc.relation.publisherversion | https://lmcs.episciences.org/3960 | pt |
dc.peerreviewed | yes | pt |
dc.identifier.doi | doi.org/10.23638/LMCS-13(3:32)2017 | pt |
degois.publication.volume | 13 | pt |
dc.date.embargo | 2017-09-01 | * |
uc.date.periodoEmbargo | 0 | pt |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | article | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
item.fulltext | Com Texto completo | - |
item.languageiso639-1 | en | - |
crisitem.author.researchunit | CMUC - Centre for Mathematics of the University of Coimbra | - |
crisitem.author.orcid | 0000-0002-2653-8090 | - |
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)
92
checked on Apr 16, 2024
Download(s)
64
checked on Apr 16, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.