| Publication | Date of Publication | Type |
|---|
Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
Theory and Applications of Categories | 2026-02-09 | Paper |
Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
Theory and Applications of Categories | 2024-06-08 | Paper |
CHAD for expressive total languages
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Lax comma categories of ordered sets
Quaestiones Mathematicae | 2023-11-16 | Paper |
| Generalized multicategories: change-of-base, embedding, and descent | 2023-09-14 | Paper |
Cauchy completeness, lax epimorphisms and effective descent for split fibrations
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2023-09-01 | Paper |
Descent for internal multicategory functors
Applied Categorical Structures | 2023-02-01 | Paper |
Semantic factorization and descent
Applied Categorical Structures | 2022-12-08 | Paper |
| Logical Relations for Partial Features and Automatic Differentiation Correctness | 2022-10-16 | Paper |
On lax epimorphisms and the associated factorization
Journal of Pure and Applied Algebra | 2022-07-19 | Paper |
| Descent Data and Absolute Kan Extensions | 2021-06-21 | Paper |
Descent Data and Absolute Kan Extensions
(available as arXiv preprint) | 2021-06-21 | Paper |
| Lax comma $2$-categories and admissible $2$-functors | 2020-02-08 | Paper |
Pseudoalgebras and non-canonical isomorphisms
Applied Categorical Structures | 2019-03-25 | Paper |
| On lifting of biadjoints and lax algebras | 2018-11-02 | Paper |
On lifting of biadjoints and lax algebras
(available as arXiv preprint) | 2018-11-02 | Paper |
| Pseudo-Kan extensions and descent theory | 2018-06-07 | Paper |
Pseudo-Kan extensions and descent theory
(available as arXiv preprint) | 2018-06-07 | Paper |
| Pseudomonads and Descent, PhD Thesis (Chapter 1) | 2018-02-05 | Paper |
| Freely generated $n$-categories, coinserters and presentations of low dimensional categories | 2017-04-14 | Paper |
On biadjoint triangles
Theory and Applications of Categories | 2016-05-26 | Paper |
On biadjoint triangles
Theory and Applications of Categories | 2016-05-26 | Paper |
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
(available as arXiv preprint) | N/A | Paper |
Free extensivity via distributivity
(available as arXiv preprint) | N/A | Paper |
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
(available as arXiv preprint) | N/A | Paper |
