TY - RPRT TI - Colimits of Heyting Algebras through Esakia Duality AU - Rodrigo Nicolau Almeida PY - 2026 UR - https://arxiv.org/abs/2402.08058 ID - 2402.08058 ER -