| Publication | Date of Publication | Type |
|---|
| Is math real? How simple questions lead us to mathematics' deepest truths | 2024-09-04 | Paper |
Weak vertical composition. II: Totalities
Theory and Applications of Categories | 2024-08-30 | Paper |
Weak vertical composition
Theory and Applications of Categories | 2024-08-27 | Paper |
How machines can make mathematics more congressive
Bulletin of the American Mathematical Society | 2024-04-03 | Paper |
| The Joy of Abstraction | 2024-02-05 | Paper |
| The universal operad acting on loop spaces, and generalisations | 2023-12-08 | Paper |
| Distributive Laws for Lawvere Theories (Invited Talk) | 2023-12-08 | Paper |
| Weak vertical composition II: totalities | 2023-08-18 | Paper |
| Weak vertical composition | 2022-12-22 | Paper |
| The joy of abstraction. An exploration of math, category theory, and life | 2022-08-25 | Paper |
Distributive laws for Lawvere theories
Compositionality | 2022-07-01 | Paper |
| scientific article; zbMATH DE number 7460087 (Why is no real title available?) | 2022-01-19 | Paper |
| \(x+y\). A mathematician's manifesto for rethinking gender | 2021-06-21 | Paper |
Weak -categories via terminal coalgebras
(available as arXiv preprint) | 2019-10-23 | Paper |
| Weak -categories via terminal coalgebras | 2019-10-23 | Paper |
| The art of logic in an illogical world. | 2019-01-10 | Paper |
| Beyond infinity. An expedition to the outer limits of mathematics | 2017-06-27 | Paper |
| Pseudo-distributive laws | 2016-05-03 | Paper |
| Cakes, custard and category theory. Easy recipes for understanding complex maths | 2016-04-15 | Paper |
| scientific article; zbMATH DE number 6493746 (Why is no real title available?) | 2015-10-13 | Paper |
Iterated icons
(available as arXiv preprint) | 2015-04-28 | Paper |
| Iterated icons | 2015-04-28 | Paper |
Cyclic multicategories, multivariable adjunctions and mates
Journal of \(K\)-Theory | 2014-09-24 | Paper |
Cyclic multicategories, multivariable adjunctions and mates
Journal of \(K\)-Theory | 2014-09-24 | Paper |
A direct proof that the category of 3-computads is not Cartesian closed
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2013-07-10 | Paper |
The periodic table of n-categories. II: Degenerate tricategories
(available as arXiv preprint) | 2012-01-05 | Paper |
Comparing operadic theories of \(n\)-category
Homology, Homotopy and Applications | 2011-12-08 | Paper |
A note on the Penon definition of n-category
(available as arXiv preprint) | 2011-07-13 | Paper |
Iterated distributive laws
Mathematical Proceedings of the Cambridge Philosophical Society | 2011-05-20 | Paper |
Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories
Journal of Pure and Applied Algebra | 2010-02-19 | Paper |
| A note on the Penon definition of \(n\)-category | 2009-08-10 | Paper |
The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories
(available as arXiv preprint) | 2007-12-11 | Paper |
An \(\omega\)-category with all duals is an \(\omega\)-groupoid
Applied Categorical Structures | 2007-12-06 | Paper |
| scientific article; zbMATH DE number 5178125 (Why is no real title available?) | 2007-08-08 | Paper |
| scientific article; zbMATH DE number 5178125 (Why is no real title available?) | 2007-08-08 | Paper |
A relationship between trees and Kelly–Mac Lane graphs
Mathematical Proceedings of the Cambridge Philosophical Society | 2006-08-10 | Paper |
Weak n-categories: Comparing opetopic foundations.
Journal of Pure and Applied Algebra | 2004-03-14 | Paper |
Weak \(n\)-categories: Opetopic and multitopic foundations.
Journal of Pure and Applied Algebra | 2004-01-26 | Paper |
| scientific article; zbMATH DE number 2028926 (Why is no real title available?) | 2004-01-19 | Paper |
scientific article; zbMATH DE number 2028926 (Why is no real title available?)
(available as arXiv preprint) | 2004-01-19 | Paper |
| scientific article; zbMATH DE number 2028926 (Why is no real title available?) | 2004-01-19 | Paper |
| Opetopic bicategories: comparison with the classical theory | 2003-04-20 | Paper |
| An alternative characterisation of universal cells in opetopic n-categories | 2003-04-20 | Paper |
| The theory of opetopes via Kelly-Mac Lane graphs | 2003-04-20 | Paper |
