[go: up one dir, main page]

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
241*2021
Categorical notions of fibration
F Loregian, E Riehl
Expositiones Mathematicae, 2018
742018
Profunctor optics, a categorical update
B Clarke, D Elkins, J Gibbons, F Loregian, B Milewski, E Pillmore, ...
Compositionality 6, 2024
612024
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
182021
Accessibility and presentability in 2-categories
I Di Liberti, F Loregian
Journal of Pure and Applied Algebra 227 (1), 107155, 2023
12*2023
Bicategories of automata, automata in bicategories
G Boccali, A Laretto, F Loregian, S Luneia
arXiv preprint arXiv:2303.03865, 2023
82023
On the unicity of formal category theories
I Di Liberti, F Loregian
arXiv preprint arXiv:1901.01594, 2019
72019
Hearts and towers in stable infinity-categories
D Fiorenza, F Loregian, G Marchetti
Journal of Homotopy and Related Structures 237, 2015
7*2015
Completeness for categories of generalized automata
G Boccali, A Laretto, F Loregian, S Luneia
arXiv preprint arXiv:2303.03867, 2023
62023
Escrows are optics
F Genovese, F Loregian, D Palombi
arXiv preprint arXiv:2105.10028, 2021
62021
A categorical semantics for hierarchical Petri nets
FR Genovese, J Herold, F Loregian, D Palombi
arXiv preprint arXiv:2102.00096, 2021
62021
Factorization systems on (stable) derivators
F Loregian, S Virili
arXiv preprint arXiv:1705.08565, 2017
62017
Adjoint functor theorems for lax-idempotent pseudomonads
N Arkor, I Di Liberti, F Loregian
arXiv preprint arXiv:2306.10389, 2023
52023
Differential 2-rigs
F Loregian, T Trimble
arXiv preprint arXiv:2103.00938, 2021
52021
A Fubini rule for∞-coends
F Loregian
Preprints of the MPIM, 2018
52018
t-structures in stable (∞, 1)-categories
F Loregian
preprint, 2016
52016
Nets with Mana: A Framework for Chemical Reaction Modelling
F Genovese, F Loregian, D Palombi
International Conference on Graph Transformation, 185-202, 2021
42021
Homotopical algebra is not concrete
I Di Liberti, F Loregian
Journal of Homotopy and Related Structures 13 (3), 673-687, 2018
42018
t-Structures are Normal Torsion Theories
D Fiorenza, F Loregiàn
Applied Categorical Structures 24 (2), 181-208, 2016
42016
Automata and coalgebras in categories of species
F Loregian
International Workshop on Coalgebraic Methods in Computer Science, 65-92, 2024
32024
The system can't perform the operation now. Try again later.
Articles 1–20