Publication
Totality of product completions
| dc.contributor.author | Adámek, Jirí | |
| dc.contributor.author | Sousa, Lurdes | |
| dc.contributor.author | Tholen, Walter | |
| dc.date.accessioned | 2015-07-30T08:02:03Z | |
| dc.date.available | 2015-07-30T08:02:03Z | |
| dc.date.issued | 2000 | |
| dc.description.abstract | Categories whose Yoneda embedding has a left adjoint are kmown as total categories and are characterized by a strong cocompleteness property. We introduce the notion of multitotal category A by asking the Yoneda embedding A --> [A^{op}, Set] to be right multiadjoint and prove that this property is equivalent to totality of the formal ptoduct completiom of A. We also characterize multitotal categories with various types of generators; in particular, the existence of dense generators is inherited by the formal product completion iff measurable cardinals cannot be arbitrarily large. | por |
| dc.identifier.issn | 0010-2628 | |
| dc.identifier.uri | http://hdl.handle.net/10400.19/2898 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | Universitas Carolina | por |
| dc.relation.publisherversion | http://cmuc.karlin.mff.cuni.cz/ | por |
| dc.subject | multitotal category | por |
| dc.subject | multisolid functor | por |
| dc.subject | product completion | por |
| dc.title | Totality of product completions | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Prague | por |
| oaire.citation.endPage | 24 | por |
| oaire.citation.startPage | 9 | por |
| oaire.citation.title | Comment. Math. Univ. Carolin. | por |
| oaire.citation.volume | 41 | por |
| person.familyName | Sousa | |
| person.givenName | Lurdes | |
| person.identifier.orcid | 0000-0003-0100-1673 | |
| person.identifier.scopus-author-id | 7004775555 | |
| rcaap.rights | closedAccess | por |
| rcaap.type | article | por |
| relation.isAuthorOfPublication | 6398ee5a-846b-46ef-bfda-83cdca8aaac3 | |
| relation.isAuthorOfPublication.latestForDiscovery | 6398ee5a-846b-46ef-bfda-83cdca8aaac3 |