Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/43815
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Adámek, Jiří | - |
dc.contributor.author | Sousa, Lurdes | - |
dc.date.accessioned | 2017-10-10T09:25:49Z | - |
dc.date.available | 2017-10-10T09:25:49Z | - |
dc.date.issued | 2017 | - |
dc.identifier.uri | https://hdl.handle.net/10316/43815 | - |
dc.description.abstract | Given an order-enriched category, it is known that all its KZ-monadic subcategories can be described by Kan-injectivity with respect to a collection of morphisms. We prove the analogous result for Kan-injectivity with respect to a collection H of commutative squares. A square is called a Kan-injective consequence of H if by adding it to H Kan-injectivity is not changed. We present a sound logic for Kan-injectivity consequences and prove that in "reasonable" categories (such as Pos or Top_0) it is also complete for every set H of squares. | por |
dc.language.iso | eng | por |
dc.publisher | Theory and Applications of Categories | por |
dc.relation | info:eu-repo/grantAgreement/FCT/5876/147205/PT | por |
dc.rights | openAccess | por |
dc.title | KZ-monadic categories and their logic | por |
dc.type | article | - |
degois.publication.firstPage | 338 | por |
degois.publication.lastPage | 379 | por |
degois.publication.title | Theory and Applications of Categories | por |
dc.relation.publisherversion | http://www.tac.mta.ca/tac/volumes/32/10/32-10.pdf | por |
dc.peerreviewed | yes | por |
degois.publication.volume | 32 | por |
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.orcid | 0000-0003-0100-1673 | - |
Appears in Collections: | I&D CMUC - Artigos em Revistas Internacionais |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
PaperAdamekSousa.pdf | 193.79 kB | Adobe PDF | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.