We stand with Ukraine  

Ivan Di Liberti

Orcid: 0000-0003-1787-4858

Affiliations:
  • Stockholm University, Sweden
  • Masaryk University, Czech Republic (former)


According to our database1, Ivan Di Liberti authored at least 9 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Logic and Concepts in the 2-category of Topoi.
[BibTeX]
[DOI]
Ivan Di Liberti
,
Lingyuan Ye
CoRR, April, 2025

Bi-accessible and Bipresentable 2-Categories.
[BibTeX]
[DOI]
Ivan Di Liberti
,
Axel Osmond
Appl. Categorical Struct., February, 2025

Duality for Coalgebras for Vietoris and Monadicity.
[BibTeX]
[DOI]
Marco Abbadini
,
Ivan Di Liberti
J. Symb. Log., 2025

2024
Formal model theory and higher topology.
[BibTeX]
[DOI]
Ivan Di Liberti
Math. Log. Q., February, 2024

2022
General Facts on the Scott Adjunction.
[BibTeX]
[DOI]
Ivan Di Liberti
Appl. Categorical Struct., 2022

2021
Functorial semantics for partial theories.
[BibTeX]
[DOI]
Ivan Di Liberti
,
Fosco Loregiàn
,
Chad Nester
,
Pawel Sobocinski
Proc. ACM Program. Lang., 2021

Context, Judgement, Deduction.
[BibTeX]
[DOI]
Greta Coraglia
,
Ivan Di Liberti
CoRR, 2021

2020
Gabriel-Ulmer Duality for Topoi and its Relation with Site Presentations.
[BibTeX]
[DOI]
Ivan Di Liberti
,
Julia Ramos González
Appl. Categorical Struct., 2020

2019
Weak saturation and Weak Amalgamation Property.
[BibTeX]
[DOI]
Ivan Di Liberti
J. Symb. Log., 2019


  Loading...