| Publication | Date of Publication | Type |
|---|
Escrows are optics
(available as arXiv preprint) | N/A | Paper |
Automata and coalgebras in categories of species
(available as arXiv preprint) | N/A | Paper |
Automata and coalgebras in categories of species
Mathematical Structures in Computer Science | 2025-12-30 | Paper |
| Bicategories of automata, automata in bicategories | 2025-08-05 | Paper |
| Automata and coalgebras in categories of species | 2025-01-20 | Paper |
Monads and limits in bicategories of circuits
(available as arXiv preprint) | 2025-01-01 | Paper |
Directed First-Order Logic
(available as arXiv preprint) | 2025-01-01 | Paper |
Two-dimensional transducers
(available as arXiv preprint) | 2025-01-01 | Paper |
| A categorical semantics for hierarchical Petri nets | 2024-12-06 | Paper |
| Completeness for categories of generalized automata ((co)algebraic pearls) | 2024-11-26 | Paper |
Profunctor optics, a categorical update
Compositionality | 2024-05-10 | Paper |
Differential 2-rigs
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
Fibrational Linguistics (FibLang): Language Acquisition
Electronic Proceedings in Theoretical Computer Science | 2024-03-05 | Paper |
A categorical semantics for bounded Petri nets
(available as arXiv preprint) | 2024-02-13 | Paper |
| A categorical semantics for bounded Petri nets | 2024-02-13 | Paper |
Fibrations of algebras
(available as arXiv preprint) | 2024-01-01 | Paper |
Directed equality with dinaturality
(available as arXiv preprint) | 2024-01-01 | Paper |
| Adjoint functor theorems for lax-idempotent pseudomonads | 2023-06-17 | Paper |
| The semibicategory of Moore automata | 2023-04-29 | Paper |
| Bicategories of Automata, Automata in Bicategories | 2023-03-07 | Paper |
| Completeness for categories of generalized automata | 2023-03-07 | Paper |
The semibicategory of Moore automata
(available as arXiv preprint) | 2023-01-01 | Paper |
Accessibility and presentability in 2-categories
Journal of Pure and Applied Algebra | 2022-08-04 | Paper |
Nets with mana: a framework for chemical reaction modelling
(available as arXiv preprint) | 2022-03-21 | Paper |
Coends of higher arity
Applied Categorical Structures | 2022-03-02 | Paper |
| Fibrational linguistics: First concepts | 2022-01-04 | Paper |
Fibrational linguistics: First concepts
(available as arXiv preprint) | 2022-01-01 | Paper |
(Co)end Calculus
(available as arXiv preprint) | 2021-05-05 | Paper |
Categorical notions of fibration
Expositiones Mathematicae | 2021-02-02 | Paper |
| A Categorical Semantics for Hierarchical Petri Nets | 2021-01-29 | Paper |
| Rosen's no-go theorem for regular categories | 2020-12-21 | Paper |
| Functorial Semantics for Partial Theories | 2020-11-12 | Paper |
| t-structures on stable infinity-categories | 2020-05-28 | Paper |
Triangulated factorization systems and \(t\)-structures
Journal of Algebra | 2020-02-13 | Paper |
t-structures on stable infinity-categories
(available as arXiv preprint) | 2020-01-01 | Paper |
Functorial Semantics for Partial Theories
(available as arXiv preprint) | 2020-01-01 | Paper |
Rosen's no-go theorem for regular categories
(available as arXiv preprint) | 2020-01-01 | Paper |
Hearts and towers in stable \(\infty \)-categories
Journal of Homotopy and Related Structures | 2019-12-17 | Paper |
| The Essence of Petri Net Gluings | 2019-09-08 | Paper |
| A standard theorem on adjunctions in two variables | 2019-02-16 | Paper |
| A Fubini rule for \infty-coends | 2019-02-16 | Paper |
| On the unicity of formal category theories | 2019-01-06 | Paper |
On the unicity of formal category theories
(available as arXiv preprint) | 2019-01-01 | Paper |
A standard theorem on adjunctions in two variables
(available as arXiv preprint) | 2019-01-01 | Paper |
A Fubini rule for $\infty$-coends
(available as arXiv preprint) | 2019-01-01 | Paper |
The Essence of Petri Net Gluings
(available as arXiv preprint) | 2019-01-01 | Paper |
Homotopical algebra is not concrete
Journal of Homotopy and Related Structures | 2018-10-12 | Paper |
| Localization theory for derivators | 2018-02-22 | Paper |
Localization theory for derivators
(available as arXiv preprint) | 2018-01-01 | Paper |
| Factorization systems on (stable) derivators | 2017-05-23 | Paper |
Factorization systems on (stable) derivators
(available as arXiv preprint) | 2017-01-01 | Paper |
\(t\)-structures are normal torsion theories
Applied Categorical Structures | 2016-04-05 | Paper |
| Recollements in stable \infty-categories | 2015-07-14 | Paper |
Coend calculus
(available as arXiv preprint) | 2015-01-11 | Paper |
Recollements in stable $\infty$-categories
(available as arXiv preprint) | 2015-01-01 | Paper |
