| 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 |
Distributive Laws for Lawvere Theories (Invited Talk)
| 2023-12-08 | Paper |
The universal operad acting on loop spaces, and generalisations
| 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 \(\infty\)-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
| 2015-04-28 | 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
| 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
| 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
| 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 |
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 |
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 |
