Igor Arrieta

According to our database, Igor Arrieta authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

The DeMorganization of a locale.

Igor Arrieta

Ann. Pure Appl. Log., 2025

2024

The Patch Topology in Univalent Foundations.

Igor Arrieta, Martín Hötzel Escardó, Ayberk Tosun

CoRR, 2024

2023

Enriched lower separation axioms and the principle of enriched continuous extension.

Igor Arrieta, Javier Gutiérrez García, Ulrich Höhle

Fuzzy Sets Syst., September, 2023

2022

A New Diagonal Separation and its Relations With the Hausdorff Property.

Igor Arrieta, Jorge Picado, Ales Pultr

Appl. Categorical Struct., 2022