Igor Arrieta

According to our database, Igor Arrieta authored at least 5 papers between 2022 and 2026.

Collaborative distances:

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

2026

Joins of Closed Sublocales are not Always A Coframe.

Igor Arrieta

Order, April, 2026

2025

The patch topology in univalent foundations.

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

Math. Struct. Comput. Sci., 2025

The DeMorganization of a locale.

Igor Arrieta

Ann. Pure Appl. Log., 2025

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