| Publication | Date of Publication | Type |
|---|
A definability theorem for first order logic
(available as arXiv preprint) | N/A | Paper |
Profinite \infty-operads: Part II
(available as arXiv preprint) | N/A | Paper |
| A small catalogue of E_n-operads | 2026-06-23 | Paper |
On the additivity of the little cubes operads
Homology, Homotopy and Applications | 2025-10-21 | Paper |
Homology of infinity-operads
Annales de l'Institut Fourier | 2025-06-18 | Paper |
On the equivalence of Lurie's \(\infty\)-operads and dendroidal \(\infty\)-operads
Journal of Topology | 2025-01-10 | Paper |
A Mysterious Tensor Product in Topology
Lecture Notes in Mathematics | 2023-12-03 | Paper |
Simplicial model structures on pro-categories
Algebraic & Geometric Topology | 2023-11-21 | Paper |
Partition complexes and trees
Proceedings of the American Mathematical Society | 2023-04-19 | Paper |
| A small catalogue of En-operads | 2022-12-07 | Paper |
Profinite \(\infty\)-operads
Advances in Mathematics | 2022-09-20 | Paper |
Simplicial and Dendroidal Homotopy Theory
Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics | 2022-08-02 | Paper |
| On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads | 2022-06-28 | Paper |
| On the additivity of the little cubes operads | 2022-05-25 | Paper |
Closed dendroidal sets and unital operads
(available as arXiv preprint) | 2021-08-03 | Paper |
| Closed dendroidal sets and unital operads | 2021-08-03 | Paper |
| Homology of infinity-operads | 2021-05-25 | Paper |
An extension of Quillen's theorem B
Algebraic & Geometric Topology | 2020-08-03 | Paper |
Dendroidal spaces, \(\Gamma\)-spaces and the special Barratt-Priddy-Quillen theorem
Journal für die Reine und Angewandte Mathematik | 2020-03-02 | Paper |
Dendroidal spaces, \(\Gamma\)-spaces and the special Barratt-Priddy-Quillen theorem
Journal für die Reine und Angewandte Mathematik | 2020-03-02 | Paper |
The dendroidal category is a test category
Mathematical Proceedings of the Cambridge Philosophical Society | 2019-07-29 | Paper |
Univalent completion
Mathematische Annalen | 2018-08-23 | Paper |
Sets, models and proofs
Springer Undergraduate Mathematics Series | 2018-07-23 | Paper |
Shuffles of trees
European Journal of Combinatorics | 2018-05-18 | Paper |
Shuffles of trees
European Journal of Combinatorics | 2018-05-18 | Paper |
Exact completion of path categories and algebraic set theory. I: Exact completion of path categories
Journal of Pure and Applied Algebra | 2018-05-11 | Paper |
W-types in homotopy-type theory – CORRIGENDUM
Mathematical Structures in Computer Science | 2018-01-04 | Paper |
Dendroidal spaces, \Gamma-spaces and the special Barratt-Priddy-Quillen theorem
(available as arXiv preprint) | 2017-01-23 | Paper |
Minimal fibrations of dendroidal sets
Algebraic & Geometric Topology | 2016-12-20 | Paper |
On the equivalence between Lurie's model and the dendroidal model for infinity-operads
Advances in Mathematics | 2016-09-30 | Paper |
Obituary: Daniël Marinus Kan (1927--2013). Simplicial sets and adjoint functors
Nieuw Archief voor Wiskunde. Vijfde Serie | 2016-09-07 | Paper |
W-types in homotopy type theory
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Daniel M. Kan (1927--2013)
Notices of the American Mathematical Society | 2016-06-15 | Paper |
| Left fibrations and homotopy colimits II | 2016-02-03 | Paper |
Left fibrations and homotopy colimits
Mathematische Zeitschrift | 2015-04-02 | Paper |
The axiom of multiple choice and models for constructive set theory
Journal of Mathematical Logic | 2014-09-05 | Paper |
| Note on the tensor product of dendroidal sets | 2014-03-25 | Paper |
Dendroidal Segal spaces and ∞-operads
Journal of Topology | 2014-03-21 | Paper |
Dendroidal Segal spaces and ∞-operads
Journal of Topology | 2014-03-21 | Paper |
Dendroidal sets and simplicial operads
Journal of Topology | 2014-03-21 | Paper |
On the homotopy theory of enriched categories
The Quarterly Journal of Mathematics | 2013-10-10 | Paper |
Aspects of predicative algebraic set theory. III: Sheaves
Proceedings of the London Mathematical Society | 2012-11-30 | Paper |
Derived rules for predicative set theory: an application of sheaves
Annals of Pure and Applied Logic | 2012-09-06 | Paper |
In memoriam Willem Titus van Est (1921--2002)
Nieuw Archief voor Wiskunde. Vijfde Serie | 2012-06-07 | Paper |
The geometer
Nieuw Archief voor Wiskunde. Vijfde Serie | 2012-06-07 | Paper |
On an extension of the notion of Reedy category
Mathematische Zeitschrift | 2012-01-12 | Paper |
Dendroidal sets as models for homotopy operads
Journal of Topology | 2011-06-27 | Paper |
| scientific article; zbMATH DE number 5910551 (Why is no real title available?) | 2011-06-21 | Paper |
Aspects of predicative algebraic set theory. II: Realizability
Theoretical Computer Science | 2011-05-10 | Paper |
Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock
Advanced Courses in Mathematics -- CRM Barcelona | 2010-11-30 | Paper |
On the universal enveloping algebra of a Lie algebroid
Proceedings of the American Mathematical Society | 2010-09-27 | Paper |
Localization of algebras over coloured operads
Proceedings of the London Mathematical Society | 2010-07-22 | Paper |
A Unified Approach to Algebraic Set Theory
(available as arXiv preprint) | 2010-01-13 | Paper |
| scientific article; zbMATH DE number 5636664 (Why is no real title available?) | 2009-11-21 | Paper |
| scientific article; zbMATH DE number 5636664 (Why is no real title available?) | 2009-11-21 | Paper |
On the derived category of an algebra over an operad
(available as arXiv preprint) | 2009-06-25 | Paper |
On inner Kan complexes in the category of dendroidal sets
Advances in Mathematics | 2009-05-05 | Paper |
Aspects of predicative algebraic set theory. I: Exact completion
Annals of Pure and Applied Logic | 2008-12-05 | Paper |
Deformations of Lie brackets: Cohomological aspects
Journal of the European Mathematical Society (JEMS) | 2008-11-12 | Paper |
Deformations of Lie brackets: Cohomological aspects
Journal of the European Mathematical Society (JEMS) | 2008-11-12 | Paper |
| W-types in sheaves | 2008-10-14 | Paper |
| On the universal enveloping algebra of a Lie-Rinehart algebra | 2008-01-25 | Paper |
Dendroidal sets
Algebraic & Geometric Topology | 2007-12-17 | Paper |
Resolution of coloured operads and rectification of homotopy algebras
(available as arXiv preprint) | 2007-12-11 | Paper |
On the developability of Lie subalgebroids
Advances in Mathematics | 2007-03-09 | Paper |
The Boardman-Vogt resolution of operads in monoidal model categories
Topology | 2006-09-14 | Paper |
On the integrability of Lie subalgebroids
Advances in Mathematics | 2006-07-20 | Paper |
Families of Hopf algebras of trees and pre-Lie algebras.
Homology, Homotopy and Applications | 2006-01-03 | Paper |
Families of Hopf algebras of trees and pre-Lie algebras.
Homology, Homotopy and Applications | 2006-01-03 | Paper |
| scientific article; zbMATH DE number 2204721 (Why is no real title available?) | 2005-09-12 | Paper |
| On the developability of subalgebroids | 2004-06-28 | Paper |
Čech-De Rham theory for leaf spaces of foliations
Mathematische Annalen | 2004-03-07 | Paper |
Axiomatic homotopy theory for operads
Commentarii Mathematici Helvetici | 2004-02-05 | Paper |
scientific article; zbMATH DE number 1942887 (Why is no real title available?)
(available as arXiv preprint) | 2004-01-19 | Paper |
Lie groupoids, gerbes, and non-abelian cohomology
\(K\)-Theory | 2004-01-06 | Paper |
| scientific article; zbMATH DE number 1956612 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1944731 (Why is no real title available?) | 2003-07-06 | Paper |
On integrability of infinitesimal actions
American Journal of Mathematics | 2003-05-22 | Paper |
On integrability of infinitesimal actions
American Journal of Mathematics | 2003-05-22 | Paper |
Wellfounded trees in categories
Annals of Pure and Applied Logic | 2003-05-08 | Paper |
| Introduction to the language of stacks and gerbes | 2002-12-19 | Paper |
Type theories, toposes and constructive set theory: Predicative aspects of AST
Annals of Pure and Applied Logic | 2002-12-03 | Paper |
| The renormalisation bialgebra and operads | 2002-10-23 | Paper |
Simplicial cohomology of orbifolds
Indagationes Mathematicae. New Series | 2002-09-22 | Paper |
Foliation groupoids and their cyclic homology
Advances in Mathematics | 2002-07-22 | Paper |
Monads on tensor categories
Journal of Pure and Applied Algebra | 2002-04-07 | Paper |
On the Connes-Kreimer construction of Hopf algebras
(available as arXiv preprint) | 2002-03-20 | Paper |
| On the Classification of Regular Groupoids | 2002-03-11 | Paper |
Spaces with local equivalence relations, and their monodromy
Topology and its Applications | 2001-11-23 | Paper |
A homology theory for étale groupoids
Journal für die reine und angewandte Mathematik (Crelles Journal) | 2001-01-30 | Paper |
A homology theory for étale groupoids
Journal für die reine und angewandte Mathematik (Crelles Journal) | 2001-01-30 | Paper |
scientific article; zbMATH DE number 1347320 (Why is no real title available?)
Compositio Mathematica | 2001-01-23 | Paper |
| Étale groupoids, derived categories, and operations. | 2001-01-01 | Paper |
Proper maps of toposes
Memoirs of the American Mathematical Society | 2000-11-29 | Paper |
An elementary definability theorem for first order logic
Journal of Symbolic Logic | 2000-09-27 | Paper |
Proof of a conjecture of A. Pitts
Journal of Pure and Applied Algebra | 2000-09-17 | Paper |
Representing topoi by topological groupoids
Journal of Pure and Applied Algebra | 1999-11-10 | Paper |
Sets, Topoi and Intuitionism
Philosophia Mathematica | 1999-05-31 | Paper |
Classifying spaces for toposes with enough points
Rendiconti del Seminario Matematico e Fisico di Milano | 1998-11-26 | Paper |
Minimal models of Heyting arithmetic
Journal of Symbolic Logic | 1998-11-02 | Paper |
Proof of a conjecture of A. Haefliger
Topology | 1998-10-05 | Paper |
Représentation de topos par des espaces topologiques
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 1998-08-16 | Paper |
Orbifolds, sheaves and groupoids
\(K\)-Theory | 1998-03-16 | Paper |
An addendum to “Path-lifting for Grothendieck toposes"
Proceedings of the American Mathematical Society | 1997-12-11 | Paper |
On the construction of the Grothendieck fundamental group of a topos by paths
Journal of Pure and Applied Algebra | 1997-11-18 | Paper |
A remark on the theory of semi-functors
Mathematical Structures in Computer Science | 1997-07-17 | Paper |
| scientific article; zbMATH DE number 988801 (Why is no real title available?) | 1997-04-24 | Paper |
| scientific article; zbMATH DE number 922679 (Why is no real title available?) | 1997-03-25 | Paper |
| scientific article; zbMATH DE number 810091 (Why is no real title available?) | 1997-01-09 | Paper |
| scientific article; zbMATH DE number 810091 (Why is no real title available?) | 1997-01-09 | Paper |
