(Co) end calculus F Loregian Cambridge University Press, 2021 | 178* | 2021 |
Categorical notions of fibration F Loregian, E Riehl Expositiones Mathematicae, 2018 | 65 | 2018 |
Profunctor optics, a categorical update B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ... Compositionality 6, 2024 | 49 | 2024 |
Functorial semantics for partial theories I Di Liberti, F Loregian, C Nester, P Sobociński Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021 | 14 | 2021 |
Accessibility and presentability in 2-categories I Di Liberti, F Loregian Journal of Pure and Applied Algebra 227 (1), 107155, 2023 | 10* | 2023 |
Factorization systems on (stable) derivators F Loregian, S Virili arXiv preprint arXiv:1705.08565, 2017 | 7 | 2017 |
Completeness for categories of generalized automata G Boccali, A Laretto, F Loregian, S Luneia arXiv preprint arXiv:2303.03867, 2023 | 6 | 2023 |
A categorical semantics for hierarchical Petri nets FR Genovese, J Herold, F Loregian, D Palombi arXiv preprint arXiv:2102.00096, 2021 | 6 | 2021 |
Hearts and towers in stable infinity-categories D Fiorenza, F Loregian, G Marchetti Journal of Homotopy and Related Structures 237, 2015 | 6* | 2015 |
Bicategories of automata, automata in bicategories G Boccali, A Laretto, F Loregian, S Luneia arXiv preprint arXiv:2303.03865, 2023 | 5 | 2023 |
On the unicity of formal category theories I Di Liberti, F Loregian arXiv preprint arXiv:1901.01594, 2019 | 5 | 2019 |
A Fubini rule for∞-coends F Loregian Preprints of the MPIM, 2018 | 5 | 2018 |
Nets with Mana: A Framework for Chemical Reaction Modelling F Genovese, F Loregian, D Palombi International Conference on Graph Transformation, 185-202, 2021 | 4 | 2021 |
Localization theory for derivators F Loregian arXiv preprint arXiv:1802.08193, 2018 | 4 | 2018 |
t-structures in stable (∞, 1)-categories F Loregiàn Ph. D. thesis, sissa, 2016, http://urania. sissa. it/xmlui/handle/1963/35202, 2016 | 4 | 2016 |
Fibrational linguistics: First concepts F Genovese, F Loregian, C Puca arXiv preprint arXiv:2201.01136, 2022 | 3 | 2022 |
Escrows are optics F Genovese, F Loregian, D Palombi arXiv preprint arXiv:2105.10028, 2021 | 3 | 2021 |
Differential 2-rigs F Loregian, T Trimble arXiv preprint arXiv:2103.00938, 2021 | 3 | 2021 |
A Categorical Semantics for Bounded Petri Nets FR Genovese, F Loregian, D Palombi arXiv preprint arXiv:2101.09100, 2021 | 3 | 2021 |
The essence of petri net gluings F Genovese, F Loregian, D Palombi arXiv preprint arXiv:1909.03518, 2019 | 3 | 2019 |