TY  - RPRT
TI  - An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
AU  - Maria Emilia Maietti
AU  - Davide Trotta
PY  - 2025
UR  - https://arxiv.org/abs/2511.06945
ID  - 2511.06945
ER  -