• Accessibility and presentability in 2-categoriesDi Liberti, Ivan; Loregian, FoscoJournal of pure and applied algebra2023 / art. 107155, 25 p https://doi.org/10.1016/j.jpaa.2022.107155 https://www.scopus.com/sourceid/23968 https://www.scopus.com/record/display.uri?eid=2-s2.0-85132746947&origin=inward&txGid=52e5e3d23e8d7d2224e4ba19ccbe88a4 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20PURE%20APPL%20ALGEBRA&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000882576200014
• Adjoint functor theorems for lax-idempotent pseudomonadsArkor, Nathanael; Di Liberti, Ivan; Loregian, FoscoTheory and Applications of Categories2024 / p. 667-685 http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf https://www.scopus.com/sourceid/145268 https://www.scopus.com/record/display.uri?eid=2-s2.0-85196756693&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE%28%22Adjoint+functor+theorems+for+lax-idempotent+pseudomonads%22%29&sessionSearchId=2694adcfded71cf12565f4df31de58f5&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=THEOR%20APPL%20CATEG&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001243753800001
• Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85099012661&origin=inward&txGid=881fbaa36ca71934205c760f58637ca6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000679806100057