Completions of Implicative Assemblies
Category Theory
2023-07-11 v2
Abstract
We continue our work on implicative assemblies by investigating under which circumstances a subset gives rise to a lex full subcategory of the quasitopos of all assemblies such that . We establish a characterisation. Furthermore, this latter is relevant to the study of 's ex/lex-completion.
Cite
@article{arxiv.2306.10120,
title = {Completions of Implicative Assemblies},
author = {Alexandre Miquel and Krzysztof Worytkiewicz},
journal= {arXiv preprint arXiv:2306.10120},
year = {2023}
}