In 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 |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.