Completions of Implicative Assemblies

Alexandre Miquel, Krzysztof Worytkiewicz

We continue our work on implicative assemblies by investigating under which circumstances a subset $M\subseteq \mathcal{S}$ gives rise to a lex full subcategory ${\mathbf{Asm}}_M$ o…