BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Fosco Loregian

Fosco Loregian contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CTFormal Languages and Automata TheoryLogic in Computer Sciencemath.AGmath.ATmath.LO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2026arXiv

Di- is for Directed: First-Order Directed Type Theory via Dinaturality

We show how dinaturality plays a central role in the interpretation of directed type theory where types are interpreted as (1-)categories and directed equality is represented by $\hom$-functors. We present a general elimination principle based on dinaturality for directed equality which very closely resembles the $J$-rule used in Martin-Löf type theory, and we highlight which syntactical restrictions are needed to interpret this rule in the context of directed equality. We then use these rules to characterize directed equality as a left relative adjoint to a functor between (para)categories of dinatural transformations which contracts together two variables appearing naturally with a single dinatural one, with the relative functor imposing the syntactic restrictions needed. We then argue that the quantifiers of such a directed type theory should be interpreted as ends and coends, which dinaturality allows us to present in adjoint-like correspondences to a weakening functor. Using these rules we give a formal interpretation to Yoneda reductions and (co)end calculus, and we use logical derivations to prove the Fubini rule for quantifier exchange, the adjointness property of Kan extensions via (co)ends, exponential objects of presheaves, and the (co)Yoneda lemma. We show transitivity (composition), congruence (functoriality), and transport (coYoneda) for directed equality by closely following the same approach of Martin-Löf type theory, with the notable exception of symmetry. We formalize our main theorems in Agda.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Automata and coalgebras in categories of species

We study generalized automata (in the sense of Adámek-Trnková) in Joyal's category of (set-valued) combinatorial species, and as an important preliminary step, we study coalgebras for its derivative endofunctor $\partial$ and for the "Euler homogeneity operator" $L\circ\partial$ arising from the adjunction $L\dashv\partial\dashv R$. The theory is connected with, and in fact provides relatively nontrivial examples of, "differential 2-rigs", a notion recently introduced by the author putting combinatorial species on the same relation a generic (differential) semiring $(R,d)$ has with the (differential) semiring $\mathbb N[\![ X]\!]$ of power series with natural coefficients. The desire to study categories of "state machines" valued in an ambient monoidal category $(\mathcal K,\otimes)$ gives a pretext to further develop the abstract theory of differential 2-rigs, proving lifting theorems of a differential 2-rig structure from $(\mathcal R,\partial)$ to the category of $\partial$-algebras on objects of $\mathcal R$, and to categories of Mealy automata valued in $(\mathcal R,\otimes)$, as well as various constructions inspired by differential algebra such as jet spaces and modules of differential operators. These theorems adapt to various "species-like" categories such as coloured species, $k$-vector species (both used in operad theory), linear species (introduced by Leroux to study combinatorial differential equations), Möbius species, and others.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Fibrational linguistics: First concepts

We define a general mathematical framework for linguistics based on the theory of fibrations, called FibLang. We start by modelling the interaction between linguistics and cognition in the most general way possible, with a heavy focus on conceptually motivating any assumption we make. The advantage is that FibLang remains agnostic with respect to any particular axiomatization of grammar one may choose. As such, it is compatible with already existing categorical models of language (such as for example, DisCoCat), providing a formally sound framework to apply mathematical tools developed in the context of category theory, mainly categorical logic, to the study of language

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

t-structures on stable infinity-categories

The present work re-enacts the classical theory of t-structures reducing the classical definition given in *Faisceaux Pervers* to a rather primitive categorical gadget: suitable reflective factorization systems. This translation is only possible due to the virtues of the infinity-categorical setting. Once the basic theory of t-structure has been developed, a natural direction of research is to develop a comprehensive treatment of t-structure in the "torsio-centric" perspective: we apply the technology of factorization systems to the theory of Postnikov towers, to the proof of the abelianity of the heart of a t-structure, and to the theory of Bridgeland's stability conditions.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Categorical notions of fibration

Fibrations over a category $B$, introduced to category theory by Grothendieck, encode pseudo-functors $B^{op} \rightsquigarrow {\bf Cat}$, while the special case of discrete fibrations encode presheaves $B^{op} \to {\bf Set}$. A two-sided discrete variation encodes functors $B^{op} \times A \to {\bf Set}$, which are also known as profunctors from $A$ to $B$. By work of Street, all of these fibration notions can be defined internally to an arbitrary 2-category or bicategory. While the two-sided discrete fibrations model profunctors internally to ${\bf Cat}$, unexpectedly, the dual two-sided codiscrete cofibrations are necessary to model $\cal V$-profunctors internally to $\cal V$-$\bf Cat$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Recollements in stable $\infty$-categories

We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived categories. The adjointness relations between functors in a recollement $\mathbf{D}^0\leftrightarrow \mathbf{D} \leftrightarrow \mathbf{D}^1$ induce a "recollée" $t$-structure $\mathfrak{t}_0\uplus\mathfrak{t}1$ on $\mathbf{D}$ , given $t$-structures $\mathfrak{t}_0,\mathfrak{t}_1$ on $\mathbf{D}^0, \mathbf{D}^1$. Such a classical result, well-known in the setting of triangulated categories, is recasted in the setting of stable $\infty$-categories and the properties of the associated ($\infty$-categorical) factorization systems are investigated. In the geometric case of a stratified space, various recollements arise, which "interact well" with the combinatorics of the intersections of strata to give a well-defined, associative $\uplus$ operation. From this we deduce a generalized associative property for $n$-fold gluing $\mathfrak{t}_0\uplus\cdots\uplus \mathfrak{t}_n$, valid in any stable $\infty$-category.

0 citations0 reviewsNo code linkedOpen access