Login / Signup
Igor Arrieta
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Information Systems
Desirable Properties
Knowledge Base
Data Sets
Top Venues
CoRR
Appl. Categorical Struct.
Fuzzy Sets Syst.
</>
Publications
</>
Igor Arrieta
,
Martín Hötzel Escardó
,
Ayberk Tosun
The Patch Topology in Univalent Foundations.
CoRR
(2024)
Igor Arrieta
,
Javier Gutiérrez García
,
Ulrich Höhle
Enriched lower separation axioms and the principle of enriched continuous extension.
Fuzzy Sets Syst.
468 (2023)
Igor Arrieta
,
Jorge Picado
,
Ales Pultr
A New Diagonal Separation and its Relations With the Hausdorff Property.
Appl. Categorical Struct.
30 (2) (2022)