Follow
Fosco Loregian
Fosco Loregian
Tallinna Tehnikaülikooli Küberneetika Instituut
Verified email at taltech.ee - Homepage
Title
Cited by
Cited by
Year
Coend calculus
F Loregian
arXiv preprint arXiv:1501.02503, 2015
145*2015
Categorical notions of fibration
F Loregian, E Riehl
Expositiones Mathematicae, 2018
432018
Profunctor optics, a categorical update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
arXiv preprint arXiv:2001.07488, 2020
352020
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
102021
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
Accessibility and presentability in 2-categories
I Di Liberti, F Loregian
arXiv preprint arXiv:1804.08710, 2018
5*2018
Localization theory for derivators
F Loregian
arXiv preprint arXiv:1802.08193, 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
Completeness for categories of generalized automata
G Boccali, A Laretto, F Loregian, S Luneia
arXiv preprint arXiv:2303.03867, 2023
32023
Escrows are optics
F Genovese, F Loregian, D Palombi
arXiv preprint arXiv:2105.10028, 2021
32021
A categorical semantics for hierarchical Petri nets
FR Genovese, J Herold, F Loregian, D Palombi
arXiv preprint arXiv:2102.00096, 2021
32021
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
Bicategories of automata, automata in bicategories
G Boccali, A Laretto, F Loregian, S Luneia
arXiv preprint arXiv:2303.03865, 2023
22023
Fibrational linguistics: First concepts
F Genovese, F Loregian, C Puca
arXiv preprint arXiv:2201.01136, 2022
22022
Nets with Mana: A Framework for Chemical Reaction Modelling
F Genovese, F Loregian, D Palombi
International Conference on Graph Transformation, 185-202, 2021
22021
Profunctor optics: a categorical update
M Román, B Clarke, D Elkins, J Gibbons, B Milewski, F Loregian, ...
NWPT 2019, 47, 2019
22019
Fibrational linguistics: Language acquisition
F Genovese, F Loregian, C Puca
arXiv preprint arXiv:2207.06765, 2022
12022
A Categorical Semantics for Bounded Petri Nets
FR Genovese, F Loregian, D Palombi
arXiv preprint arXiv:2101.09100, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20