TY  - RPRT
TI  - On categorical structures arising from implicative algebras: from topology to assemblies
AU  - Samuele Maschio
AU  - Davide Trotta
PY  - 2023
DO  - 10.1016/j.apal.2023.103390
UR  - https://arxiv.org/abs/2306.04534
ID  - 2306.04534
ER  -