| Publication | Date of Publication | Type |
|---|
| Stream Processors and Comodels. | 2023-12-08 | Paper |
| Hypernormalisation in an abstract setting | 2023-07-17 | Paper |
| Stream processors and comodels | 2023-03-22 | Paper |
| Cartesian closed varieties I: the classification theorem | 2023-02-08 | Paper |
| Cartesian closed varieties II: links to operator algebra | 2023-02-08 | Paper |
| The costructure–cosemantics adjunction for comodels for computational effects | 2022-12-20 | Paper |
| Cartesian differential categories as skew enriched categories | 2021-12-18 | Paper |
| Generalising the étale groupoid-complete pseudogroup correspondence | 2021-10-27 | Paper |
| An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal | 2021-08-16 | Paper |
| Every 2-Segal space is unital | 2021-01-20 | Paper |
| Operadic categories and décalage | 2020-12-30 | Paper |
| Ultrafilters, finite coproducts and locally connected classifying toposes | 2020-10-07 | Paper |
| Cocompletion of restriction categories | 2020-06-29 | Paper |
| Lifting accessible model structures | 2020-05-06 | Paper |
| The Vietoris monad and weak distributive laws | 2020-03-24 | Paper |
| Inner automorphisms of groupoids | 2019-07-24 | Paper |
| Monads and theories | 2019-07-10 | Paper |
| Bousfield localisation and colocalisation of one-dimensional model structures | 2019-03-25 | Paper |
| Abstract hypernormalisation, and normalisation-by-trace-evaluation for generative systems | 2018-11-06 | Paper |
| Shapely monads and analytic functors | 2018-09-28 | Paper |
| An enriched view on the extended finitary monad--Lawvere theory correspondence | 2018-04-25 | Paper |
| An embedding theorem for tangent categories | 2017-11-28 | Paper |
| The Catalan simplicial set | 2017-09-28 | Paper |
| When coproducts are biproducts | 2017-09-28 | Paper |
| Hochschild homology, lax codescent, and duplicial structure | 2017-09-18 | Paper |
| The Isbell monad | 2017-06-23 | Paper |
| Coalgebras governing both weighted Hurwitz products and their pointwise transforms | 2017-02-09 | Paper |
| Orientals and cubes, inductively | 2016-10-10 | Paper |
| Enriched categories as a free cocompletion | 2016-01-15 | Paper |
| Commutativity | 2015-12-30 | Paper |
| Algebraic weak factorisation systems. I: Accessible AWFS. | 2015-10-27 | Paper |
| Algebraic weak factorisation systems. II: Categories of weak maps. | 2015-10-27 | Paper |
| Topological and Simplicial Models of Identity Types | 2015-09-17 | Paper |
| Diagrammatic characterisation of enriched absolute colimits | 2015-04-28 | Paper |
| Combinatorial structure of type dependency | 2015-02-06 | Paper |
| Retraction note to: ``Understanding the small object argument | 2014-09-19 | Paper |
| Topological = total | 2014-08-25 | Paper |
| Revisiting the categorical interpretation of dependent type theory | 2014-07-25 | Paper |
| Lawvere theories, finitary monads and Cauchy-completion | 2014-06-04 | Paper |
| Two-dimensional regularity and exactness | 2014-02-26 | Paper |
| Restriction categories as enriched categories | 2014-02-04 | Paper |
| Skew-monoidal categories and the Catalan simplicial set | 2013-06-30 | Paper |
| A characterisation of algebraic exactness | 2013-06-24 | Paper |
| On semiflexible, flexible and pie algebras | 2013-04-18 | Paper |
| An abstract view on syntax with sharing | 2013-01-14 | Paper |
| Grothendieck quasitoposes | 2012-10-26 | Paper |
| Lex colimits | 2012-10-16 | Paper |
| Ionads | 2012-10-16 | Paper |
| Understanding the small object argument | 2012-09-27 | Paper |
| Remarks on exactness notions pertaining to pushouts | 2012-05-29 | Paper |
| On the axioms for adhesive and quasiadhesive categories | 2012-05-29 | Paper |
| Types are weak ω -groupoids | 2011-03-02 | Paper |
| Homomorphisms of higher categories | 2010-07-20 | Paper |
| A homotopy-theoretic universal property of Leinster's operad for weak ω-categories | 2009-11-19 | Paper |
| Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs | 2009-10-22 | Paper |
| Understanding the small object argument | 2009-09-02 | Paper |
| Two-dimensional models of type theory | 2009-08-26 | Paper |
| On the strength of dependent products in the type theory of Martin-Löf | 2009-06-17 | Paper |
| The low-dimensional structures formed by tricategories | 2009-05-20 | Paper |
| The identity type weak factorisation system | 2008-12-12 | Paper |
| Polycategories via pseudo-distributive laws | 2008-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3423074 | 2007-02-20 | Paper |
| Cofibrantly generated natural weak factorisation systems | 2007-02-12 | Paper |
| Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences | 0001-01-03 | Paper |
