My work. Mostly category theory.
Automata and coalgebras in categories of species | π DOI PDF
Fosco Loregian
Coalgebraic Methods in Computer Science | 2024
Adjoint functor theorems for lax-idempotent pseudomonads | π PDF
N. Arkor, I. Di Liberti, β
Theory and Applications of Categories | 2024
Accessibility and presentability in 2-categories | π DOI PDF
I. Di Liberti, β
Journal of Pure and Applied Algebra | 2023
Fibrational linguistics (fiblang): language acquisition | π DOI PDF
F. Genovese, β, C. Puca
Electronic Proceedings in Theoretical Computer Science | 2023
Differential 2-rigs | π DOI PDF
β, T. Trimble
Electronic Proceedings in Theoretical Computer Science | 2023
Completeness for categories of generalized automata | π DOI PDF
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 PDF
G. Boccali, A. Laretto, β, S. Luneia
Proceedings of the 6th International Conference on Applied Category Theory 2023 | 2023
Coends of higher arity | π DOI PDF
β, E. Oliveira Santos
Applied Categorical Structures | 2022
(Co)end calculus | π DOI PDF
β
Cambridge University Press | 2021
Functorial semantics for partial theories | π DOI PDF
I. Di Liberti, β, C. Nester, P. SobociΕski
Proc. ACM Program. Lang. | 2021
Nets with mana: a framework for chemical reaction modelling | π DOI PDF
F. Genovese, β, D. Palombi
International Conference on Graph Transformation 2021 | 2021
A categorical semantics for hierarchical Petri nets | π DOI PDF
F. Genovese, β, D. Palombi
Electronic Proceedings in Theoretical Computer Science | 2021
Escrows are optics | π PDF
F. Genovese, β, D. Palombi
The Journal of Financial Technology | 2021
A categorical semantics for bounded Petri nets | π DOI PDF
F. Genovese, β, D. Palombi
Proceedings of the 6th International Conference on Applied Category Theory 2021 | 2021
Categorical notions of fibration | π DOI PDF
β, E. Riehl
Expositiones Mathematicae | 2020
Triangulated factorization systems and t-structures | π DOI PDF
β, S. Virili
Journal of Algebra | 2020
Profunctor optics, a categorical update | π DOI PDF
B. Clarke, D. Elkins, J. Gibbons, β, B. Milewski, E. Pillmore, M. RomΓ‘n
arXiv | 2020
Hearts and towers in stable $\infty$-categories | π DOI PDF
D. Fiorenza, β, G.L. Marchetti
Journal of Homotopy and Related Structures | 2019
Homotopical algebra is not concrete | π DOI PDF
I. Di Liberti, β
Journal of Homotopy and Related Structures | 2018
A Fubini rule for $\infty$-coends | π PDF
β
Preprints of the MPIM | 2018
A standard theorem on adjunctions in two variables | π PDF
β
Preprints of the MPIM | 2018
t-structures are normal torsion theories | π DOI PDF
D. Fiorenza, β
Applied Categorical Structures | 2016
Monads and limits in bicategories of circuits | π PDF
β
arXiv:2501.01882 | 2025
Directed First-Order Logic | π PDF
A. Laretto, β, N. Veltri
arXiv:2504.11225 | 2025
Directed equality with dinaturality | π PDF
Andrea Laretto, β, N. Veltri
arXiv:2409.10237 | 2024
Fibrations of algebras | π PDF
D. Ahman, G. Coraglia, D. Castelnovo, β, N. Martins-Ferreira, Γ. Reimaa
arXiv:2408.16581 | 2024
Rosen's no-go theorem for regular categories | π PDF
β
arXiv:2012.11648 | 2021
Functorial Erkennen | π PDF
D. Dentamaro, β
philsci-archive.edu | 2020
profunctor science hermeneutics
Categorical Ontology I - Existence | π PDF
D. Dentamaro, β
philsci-archive.edu | 2020
ontology TlΓΆn Uqbar Orbis Tertius
On the unicity of formal category theories | π PDF
I. Di Liberti, β
arXiv:1901.01594 | 2019
Localization theory for derivators | π PDF
β
arXiv:1802.08193 | 2018
Recollements in stable $\infty$-categories | π PDF
D. Fiorenza, β
arXiv:1507.03913 | 2016