Segui
Fosco Loregian
Fosco Loregian
Tallinna Tehnikaülikooli Küberneetika Instituut
Email verificata su taltech.ee - Home page
Titolo
Citata da
Citata da
Anno
Coend calculus
F Loregian
arXiv preprint arXiv:1501.02503, 2015
151*2015
Categorical notions of fibration
F Loregian, E Riehl
Expositiones Mathematicae, 2018
502018
Profunctor optics, a categorical update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
arXiv preprint arXiv:2001.07488, 2020
402020
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
112021
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
Accessibility and presentability in 2-categories
I Di Liberti, F Loregian
arXiv preprint arXiv:1804.08710, 2018
5*2018
A Fubini rule for∞-coends
F Loregian
Preprints of the MPIM, 2018
52018
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20