Follow
Fosco Loregian
Fosco Loregian
Tallinna Tehnikaülikooli Küberneetika Instituut
Verified email at taltech.ee - Homepage
Title
Cited by
Cited by
Year
(Co) end calculus
F Loregian
Cambridge University Press, 2021
150*2021
Categorical notions of fibration
F Loregian, E Riehl
Expositiones Mathematicae, 2018
562018
Profunctor optics, a categorical update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
arXiv preprint arXiv:2001.07488, 2020
442020
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
132021
Accessibility and presentability in 2-categories
I Di Liberti, F Loregian
Journal of Pure and Applied Algebra 227 (1), 107155, 2023
7*2023
Factorization systems on (stable) derivators
F Loregian, S Virili
arXiv preprint arXiv:1705.08565, 2017
72017
Hearts and towers in stable infinity-categories
D Fiorenza, F Loregian, G Marchetti
Journal of Homotopy and Related Structures 237, 2015
6*2015
A categorical semantics for hierarchical Petri nets
FR Genovese, J Herold, F Loregian, D Palombi
arXiv preprint arXiv:2102.00096, 2021
52021
Completeness for categories of generalized automata
G Boccali, A Laretto, F Loregian, S Luneia
arXiv preprint arXiv:2303.03867, 2023
42023
Bicategories of automata, automata in bicategories
G Boccali, A Laretto, F Loregian, S Luneia
arXiv preprint arXiv:2303.03865, 2023
42023
Localization theory for derivators
F Loregian
arXiv preprint arXiv:1802.08193, 2018
42018
A Fubini rule for∞-coends
F Loregian
Preprints of the MPIM, 2018
42018
t-structures in stable (∞, 1)-categories
F Loregiàn
Ph. D. thesis, sissa, 2016, http://urania. sissa. it/xmlui/handle/1963/35202, 2016
42016
Nets with Mana: A Framework for Chemical Reaction Modelling
F Genovese, F Loregian, D Palombi
International Conference on Graph Transformation, 185-202, 2021
32021
Escrows are optics
F Genovese, F Loregian, D Palombi
arXiv preprint arXiv:2105.10028, 2021
32021
Differential 2-rigs
F Loregian, T Trimble
arXiv preprint arXiv:2103.00938, 2021
32021
The essence of petri net gluings
F Genovese, F Loregian, D Palombi
arXiv preprint arXiv:1909.03518, 2019
32019
On the unicity of formal category theories
I Di Liberti, F Loregian
arXiv preprint arXiv:1901.01594, 2019
32019
t-Structures are Normal Torsion Theories
D Fiorenza, F Loregiàn
Applied Categorical Structures 24, 181-208, 2016
32016
Fibrational linguistics: First concepts
F Genovese, F Loregian, C Puca
arXiv preprint arXiv:2201.01136, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20