Segui
Fosco Loregian
Fosco Loregian
Tallinna Tehnikaülikooli Küberneetika Instituut
Email verificata su taltech.ee - Home page
Titolo
Citata da
Citata da
Anno
(Co) end calculus
F Loregian
Cambridge University Press, 2021
178*2021
Categorical notions of fibration
F Loregian, E Riehl
Expositiones Mathematicae, 2018
652018
Profunctor optics, a categorical update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
Compositionality 6, 2024
492024
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
142021
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
72017
Completeness for categories of generalized automata
G Boccali, A Laretto, F Loregian, S Luneia
arXiv preprint arXiv:2303.03867, 2023
62023
A categorical semantics for hierarchical Petri nets
FR Genovese, J Herold, F Loregian, D Palombi
arXiv preprint arXiv:2102.00096, 2021
62021
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
52023
On the unicity of formal category theories
I Di Liberti, F Loregian
arXiv preprint arXiv:1901.01594, 2019
52019
A Fubini rule for∞-coends
F Loregian
Preprints of the MPIM, 2018
52018
Nets with Mana: A Framework for Chemical Reaction Modelling
F Genovese, F Loregian, D Palombi
International Conference on Graph Transformation, 185-202, 2021
42021
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
Fibrational linguistics: First concepts
F Genovese, F Loregian, C Puca
arXiv preprint arXiv:2201.01136, 2022
32022
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
A Categorical Semantics for Bounded Petri Nets
FR Genovese, F Loregian, D Palombi
arXiv preprint arXiv:2101.09100, 2021
32021
The essence of petri net gluings
F Genovese, F Loregian, D Palombi
arXiv preprint arXiv:1909.03518, 2019
32019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20