A New Diagonal Separation and its Relations With the Hausdorff Property. - Igor Arrieta; Jorge Picado; Ales Pultr (Appl. Categorical Struct., 2022)

Enriched lower separation axioms and the principle of enriched continuous extension. - Igor Arrieta; Javier Gutiérrez García; Ulrich Höhle (Fuzzy Sets Syst., 2023)

The Patch Topology in Univalent Foundations. - Igor Arrieta; Martín Hötzel Escardó; Ayberk Tosun (CoRR, 2024)

The DeMorganization of a locale. - Igor Arrieta (Ann. Pure Appl. Log., 2025)