My work. Mostly category theory.

Automata and coalgebras in categories of species | πŸ”— DOI Paper

Fosco Loregian

Coalgebraic Methods in Computer Science, 2024

Adjoint functor theorems for lax-idempotent pseudomonads | πŸ”— Paper

N. Arkor, I. Di Liberti, β€”

Theory and Applications of Categories, 2024

Accessibility and presentability in 2-categories | πŸ”— DOI Paper

I. Di Liberti, β€”

Journal of Pure and Applied Algebra, 2023

Fibrational linguistics (fiblang): language acquisition | πŸ”— DOI Paper

F. Genovese, β€”, C. Puca

Electronic Proceedings in Theoretical Computer Science, 2023

Differential 2-rigs | πŸ”— DOI Paper

β€”, T. Trimble

Electronic Proceedings in Theoretical Computer Science, 2023

Completeness for categories of generalized automata | πŸ”— DOI Paper

G. Boccali, A. Laretto, β€”, S. Luneia

10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 2023

Bicategories of automata, automata in bicategories | πŸ”— DOI Paper

G. Boccali, A. Laretto, β€”, S. Luneia

Proceedings of the 6th International Conference on Applied Category Theory 2023, 2023

Coends of higher arity | πŸ”— DOI Paper

β€”, E. Oliveira Santos

Applied Categorical Structures, 2022

(Co)end calculus | πŸ”— DOI Paper

β€”

Cambridge University Press, 2021

Functorial semantics for partial theories | πŸ”— DOI Paper

I. Di Liberti, β€”, C. Nester, P. SobociΕ„ski

Proc. ACM Program. Lang., 2021

Nets with mana: a framework for chemical reaction modelling | πŸ”— DOI Paper

F. Genovese, β€”, D. Palombi

International Conference on Graph Transformation 2021, 2021

A categorical semantics for hierarchical Petri nets | πŸ”— DOI Paper

F. Genovese, β€”, D. Palombi

Electronic Proceedings in Theoretical Computer Science, 2021

Escrows are optics | πŸ”— Paper

F. Genovese, β€”, D. Palombi

The Journal of Financial Technology, 2021

A categorical semantics for bounded Petri nets | πŸ”— DOI Paper

F. Genovese, β€”, D. Palombi

Proceedings of the 6th International Conference on Applied Category Theory 2021, 2021

Categorical notions of fibration | πŸ”— DOI Paper

β€”, E. Riehl

Expositiones Mathematicae, 2020

Triangulated factorization systems and t-structures | πŸ”— DOI Paper

β€”, S. Virili

Journal of Algebra, 2020

Profunctor optics, a categorical update | πŸ”— DOI Paper

B. Clarke, D. Elkins, J. Gibbons, β€”, B. Milewski, E. Pillmore, M. RomΓ‘n

arXiv, 2020

Hearts and towers in stable $\infty$-categories | πŸ”— DOI Paper

D. Fiorenza, β€”, G.L. Marchetti

Journal of Homotopy and Related Structures, 2019

Homotopical algebra is not concrete | πŸ”— DOI Paper

I. Di Liberti, β€”

Journal of Homotopy and Related Structures, 2018

A Fubini rule for $\infty$-coends | πŸ”— Paper

β€”

Preprints of the MPIM, 2018

A standard theorem on adjunctions in two variables | πŸ”— Paper

β€”

Preprints of the MPIM, 2018

t-structures are normal torsion theories | πŸ”— DOI Paper

D. Fiorenza, β€”

Applied Categorical Structures, 2016