CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn previous work we introduced the notion of elementary quotient completion with respect to an elementary doctrine. We also generalized the notion of exact completion of a regular category as an exact completion of an existential elementary doctrine. Here we characterize when the elementary quotient completion of an elementary existential doctrine coincides with an exact completion. We do this by employing the categorical logic of the various notions of doctrines involved in our analysis. The outcome is that the two completions coincide when a choice rule holds in the starting existential elementary doctrine.
| Titolo: | Relating Quotient Completions via Categorical Logic | |
| Autori: | ||
| Data di pubblicazione: | 2016 | |
| Handle: | http://hdl.handle.net/11567/939569 | |
| ISBN: | 9781501502620 9781501510809 | |
| Appare nelle tipologie: | 02.01 - Contributo in volume (Capitolo o saggio) |
File in questo prodotto:
| File | Descrizione | Tipologia | |
|---|---|---|---|
| rqcvcl-rivisto.pdf | Documento in Post-print | Open Access Visualizza/Apri |
Copyright © 2021