Completions of Implicative Assemblies
Abstract
We continue our work on implicative assemblies by investigating under which circumstances a subset $M \subseteq \mathscr{S}$ gives rise to a lex full subcategory $\mathbf{Asm}_M$ of the quasitopos $\mathbf{Asm}_{\mathcal{A}}$ of all assemblies such that $(\mathbf{Asm}_M)_{reg/lex} \simeq \mathbf{Asm}_{\mathcal{A}}$. We establish a characterisation. Furthermore, this latter is relevant to the study of $\mathbf{Asm}_M$'s ex/lex-completion.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2023
- DOI:
- 10.48550/arXiv.2306.10120
- arXiv:
- arXiv:2306.10120
- Bibcode:
- 2023arXiv230610120M
- Keywords:
-
- Mathematics - Category Theory