Your Picture

Fosco Loregian

逢佛殺佛

Ma olen matemaatik.

Since October 2023, I am a Researcher at the Compositional Systems and Methods group at TalTech.

I enjoy category theory, stable homotopy theory, computations with the Serre spectral sequence, functional programming, proof assistants, bicategories of profunctors, the deep meaning of the integral sign, lager beers, artificial and natural languages, sharpening knives, Shunga paintings, drawing maps, calligraphy, typography. Most of all, I love linking all these things.

See my CV here. My email is below. An updated research statement is here (tl;dr: I do category theory here, category theory there).

For the students of the ITI9200 course: go here.

Automata and coalgebras in categories of species

Fosco Loregian

Coalgebraic Methods in Computer Science, 2024

DOI Paper

Adjoint functor theorems for lax-idempotent pseudomonads

N. Arkor, I. Di Liberti, —

Theory and Applications of Categories, 2024

Paper

Accessibility and presentability in 2-categories

I. Di Liberti, —

Journal of Pure and Applied Algebra, 2023

DOI Paper

Fibrational linguistics (fiblang): language acquisition

F. Genovese, —, C. Puca

Electronic Proceedings in Theoretical Computer Science, 2023

DOI Paper

Differential 2-rigs

—, T. Trimble

Electronic Proceedings in Theoretical Computer Science, 2023

DOI Paper

Completeness for categories of generalized automata

G. Boccali, A. Laretto, —, S. Luneia

10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 2023

DOI Paper

Bicategories of automata, automata in bicategories

G. Boccali, A. Laretto, —, S. Luneia

Proceedings of the 6th International Conference on Applied Category Theory 2023, 2023

DOI Paper

Coends of higher arity

—, E. Oliveira Santos

Applied Categorical Structures, 2022

DOI Paper

A categorical semantics for bounded Petri nets

F. Genovese, —, D. Palombi

Electronic Proceedings in Theoretical Computer Science, 2022

DOI Paper

(Co)end calculus

—

Cambridge University Press, 2021

DOI Paper

Functorial semantics for partial theories

I. Di Liberti, —, C. Nester, P. Sobociński

Proc. ACM Program. Lang., 2021

DOI Paper

Nets with mana: a framework for chemical reaction modelling

F. Genovese, —, D. Palombi

Graph Transformation, 2021

DOI Paper

A categorical semantics for hierarchical Petri nets

F. Genovese, —, D. Palombi

Electronic Proceedings in Theoretical Computer Science, 2021

DOI Paper

Escrows are optics

F. Genovese, —, D. Palombi

The Journal of Financial Technology, 2021

Paper

Categorical notions of fibration

—, E. Riehl

Expositiones Mathematicae, 2020

DOI Paper

Triangulated factorization systems and t-structures

—, S. Virili

Journal of Algebra, 2020

DOI Paper

Profunctor optics, a categorical update

B. Clarke, D. Elkins, J. Gibbons, —, B. Milewski, E. Pillmore, M. Román

arXiv, 2020

DOI Paper

Hearts and towers in stable $\infty$-categories

D. Fiorenza, —, G.L. Marchetti

Journal of Homotopy and Related Structures, 2019

DOI Paper

Homotopical algebra is not concrete

I. Di Liberti, —

Journal of Homotopy and Related Structures, 2018

DOI Paper

A Fubini rule for $\infty$-coends

—

Preprints of the MPIM, 2018

Paper

A standard theorem on adjunctions in two variables

—

Preprints of the MPIM, 2018

Paper

t-structures are normal torsion theories

D. Fiorenza, —

Applied Categorical Structures, 2016

DOI Paper

📖 Teaching & Organizational Activities

ITI9200 - Introduction to Category Theory | 🌐

| 2020 – 2025

Organiser of ItaCa Fest | 🌐

| 2020 – 2025

Organizer of PSSL110 | 🌐

| May 2025

Award for Researcher of the Year 2021

| 2021

Appointee for Adjoint school 2019

| Mar 2019 – Jun 2019

PSSL 103 - Brno

| April 2018

Elements of Finite Mathematics

| Autumn 2016

Techniques of counting, probability, discrete and continuous random variables.

Kan Extension Seminar I | 🌐

| Jan 2014 – Jul 2014

🎓 Supervision of Students

Supervisor and advisor

Student: G. Boccali

Project: On 2-categorical aspects of automata theory

Supervisor and coadvisor

Student: A. Laretto

Project: Dinaturality and type theory

Mentor for the SIGPLAN-M

Student: A. Laretto

The SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M) organizes an international long-term mentoring program for programming languages researchers.

Supervisor for M.Sc. internship at TalTech

Student: T. Massacrier

Project: From combinatorial species to general differential 2-rigs

Supervisor and coadvisor M.Sc. in Mathematics

Student: G. Sorgente

Thesis: Formal theory of promonads

Supervisor and coadvisor B.Sc. in Mathematics

Student: G. Ronchi

Thesis: Adjoint Functors