| Publication | Date of Publication | Type |
|---|
Cartesian closed varieties. I: The classification theorem
Algebra Universalis | 2024-09-24 | Paper |
Inner automorphisms of groupoids
Theory and Applications of Categories | 2024-08-27 | Paper |
Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
Documenta Mathematica | 2024-05-27 | Paper |
Stream Processors and Comodels.
| 2023-12-08 | Paper |
Hypernormalisation in an abstract setting
Information and Computation | 2023-07-17 | Paper |
Stream processors and comodels
Logical Methods in Computer Science | 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
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Cartesian differential categories as skew enriched categories
Applied Categorical Structures | 2021-12-18 | Paper |
Generalising the étale groupoid-complete pseudogroup correspondence
Advances in Mathematics | 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
Communications in Contemporary Mathematics | 2021-01-20 | Paper |
Operadic categories and décalage
Advances in Mathematics | 2020-12-30 | Paper |
Ultrafilters, finite coproducts and locally connected classifying toposes
Annals of Pure and Applied Logic | 2020-10-07 | Paper |
Cocompletion of restriction categories
| 2020-06-29 | Paper |
Lifting accessible model structures
Journal of Topology | 2020-05-06 | Paper |
The Vietoris monad and weak distributive laws
Applied Categorical Structures | 2020-03-24 | Paper |
Inner automorphisms of groupoids
| 2019-07-24 | Paper |
Monads and theories
Advances in Mathematics | 2019-07-10 | Paper |
Bousfield localisation and colocalisation of one-dimensional model structures
Applied Categorical Structures | 2019-03-25 | Paper |
Abstract hypernormalisation, and normalisation-by-trace-evaluation for generative systems
| 2018-11-06 | Paper |
Shapely monads and analytic functors
Journal Of Logic And Computation | 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
Advances in Mathematics | 2017-11-28 | Paper |
When coproducts are biproducts
Mathematical Proceedings of the Cambridge Philosophical Society | 2017-09-28 | Paper |
The Catalan simplicial set
| 2017-09-28 | Paper |
Hochschild homology, lax codescent, and duplicial structure
Annals of \(K\)-Theory | 2017-09-18 | Paper |
The Isbell monad
Advances in Mathematics | 2017-06-23 | Paper |
Coalgebras governing both weighted Hurwitz products and their pointwise transforms
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2017-02-09 | Paper |
Orientals and cubes, inductively
Advances in Mathematics | 2016-10-10 | Paper |
Enriched categories as a free cocompletion
Advances in Mathematics | 2016-01-15 | Paper |
Commutativity
Journal of Pure and Applied Algebra | 2015-12-30 | Paper |
Algebraic weak factorisation systems. I: Accessible AWFS.
Journal of Pure and Applied Algebra | 2015-10-27 | Paper |
Algebraic weak factorisation systems. II: Categories of weak maps.
Journal of Pure and Applied Algebra | 2015-10-27 | Paper |
Topological and simplicial models of identity types
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Diagrammatic characterisation of enriched absolute colimits
| 2015-04-28 | Paper |
Combinatorial structure of type dependency
Journal of Pure and Applied Algebra | 2015-02-06 | Paper |
Retraction note to: ``Understanding the small object argument
Applied Categorical Structures | 2014-09-19 | Paper |
Topological functors as total categories
Theory and Applications of Categories | 2014-08-25 | Paper |
Revisiting the categorical interpretation of dependent type theory
Theoretical Computer Science | 2014-07-25 | Paper |
Lawvere theories, finitary monads and Cauchy-completion
Journal of Pure and Applied Algebra | 2014-06-04 | Paper |
Two-dimensional regularity and exactness
Journal of Pure and Applied Algebra | 2014-02-26 | Paper |
Restriction categories as enriched categories
Theoretical Computer Science | 2014-02-04 | Paper |
Skew-monoidal categories and the Catalan simplicial set
| 2013-06-30 | Paper |
A characterisation of algebraic exactness
Journal of Pure and Applied Algebra | 2013-06-24 | Paper |
On semiflexible, flexible and pie algebras
Journal of Pure and Applied Algebra | 2013-04-18 | Paper |
An abstract view on syntax with sharing
Journal Of Logic And Computation | 2013-01-14 | Paper |
Grothendieck quasitoposes
Journal of Algebra | 2012-10-26 | Paper |
Lex colimits
Journal of Pure and Applied Algebra | 2012-10-16 | Paper |
Ionads
Journal of Pure and Applied Algebra | 2012-10-16 | Paper |
Understanding the small object argument
Applied Categorical Structures | 2012-09-27 | Paper |
On the axioms for adhesive and quasiadhesive categories
Theory and Applications of Categories | 2012-05-29 | Paper |
Remarks on exactness notions pertaining to pushouts
Theory and Applications of Categories | 2012-05-29 | Paper |
Types are weak \(\omega \)-groupoids
Proceedings of the London Mathematical Society | 2011-03-02 | Paper |
Homomorphisms of higher categories
Advances in Mathematics | 2010-07-20 | Paper |
A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
Mathematical Proceedings of the Cambridge Philosophical Society | 2009-11-19 | Paper |
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Understanding the small object argument
Applied Categorical Structures | 2009-09-02 | Paper |
Two-dimensional models of type theory
Mathematical Structures in Computer Science | 2009-08-26 | Paper |
On the strength of dependent products in the type theory of Martin-Löf
Annals of Pure and Applied Logic | 2009-06-17 | Paper |
The low-dimensional structures formed by tricategories
Mathematical Proceedings of the Cambridge Philosophical Society | 2009-05-20 | Paper |
The identity type weak factorisation system
Theoretical Computer Science | 2008-12-12 | Paper |
Polycategories via pseudo-distributive laws
Advances in Mathematics | 2008-05-13 | Paper |
Double clubs
| 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
| N/A | Paper |
