| Publication | Date of Publication | Type |
|---|
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
| 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 |
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 |
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
| 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 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 |
The geometer
Nieuw Archief voor Wiskunde. Vijfde Serie | 2012-06-07 | Paper |
In memoriam Willem Titus van Est (1921--2002)
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
| 2010-01-13 | 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
| 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 |
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
| 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 |
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?)
| 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 |
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
| 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 |
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 |
A model for intuitionistic non-standard arithmetic
Annals of Pure and Applied Logic | 1996-01-21 | Paper |
Classifying spaces and classifying topoi
Lecture Notes in Mathematics | 1995-11-13 | Paper |
scientific article; zbMATH DE number 813127 (Why is no real title available?)
| 1995-11-07 | Paper |
A completeness theorem for open maps
Annals of Pure and Applied Logic | 1995-03-28 | Paper |
scientific article; zbMATH DE number 598027 (Why is no real title available?)
| 1994-07-21 | Paper |
The Equivariant Serre Spectral Sequence
| 1994-07-20 | Paper |
scientific article; zbMATH DE number 458910 (Why is no real title available?)
| 1994-01-09 | Paper |
Algebraic classification of equivariant homotopy 2-types. I
Journal of Pure and Applied Algebra | 1993-10-19 | Paper |
Every étendue comes from a local equivalence relation
Journal of Pure and Applied Algebra | 1993-05-16 | Paper |
scientific article; zbMATH DE number 65753 (Why is no real title available?)
| 1992-09-27 | Paper |
Sheaves in geometry and logic: a first introduction to topos theory
Universitext | 1992-09-18 | Paper |
scientific article; zbMATH DE number 48990 (Why is no real title available?)
| 1992-09-17 | Paper |
scientific article; zbMATH DE number 29051 (Why is no real title available?)
| 1992-06-27 | Paper |
Toposes as homotopy groupoids
Advances in Mathematics | 1992-06-25 | Paper |
scientific article; zbMATH DE number 4204629 (Why is no real title available?)
| 1991-01-01 | Paper |
Classifying toposes and foliations
Annales de l’institut Fourier | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4208343 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4181603 (Why is no real title available?)
| 1990-01-01 | Paper |
Toposes are Cohomologically Equivalent to Spaces
American Journal of Mathematics | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4127473 (Why is no real title available?)
| 1989-01-01 | Paper |
Local Maps of Toposes
Proceedings of the London Mathematical Society | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4163134 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4125646 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4077515 (Why is no real title available?)
| 1988-01-01 | Paper |
Path-Lifting for Grothendieck Toposes
| 1988-01-01 | Paper |
The Classifying Topos of a Continuous Groupoid. I
| 1988-01-01 | Paper |
Morita equivalence for continuous groups
Mathematical Proceedings of the Cambridge Philosophical Society | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4099539 (Why is no real title available?)
| 1987-01-01 | Paper |
A smooth version of the Zariski topos
Advances in Mathematics | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4087895 (Why is no real title available?)
| 1987-01-01 | Paper |
Forcing smooth square roots and integration
Fundamenta Mathematicae | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4063926 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4011463 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4088434 (Why is no real title available?)
| 1986-01-01 | Paper |
Connected Locally Connected Toposes are Path-Connected
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3941764 (Why is no real title available?)
| 1986-01-01 | Paper |
Rings of smooth functions and their localizations. I
Journal of Algebra | 1986-01-01 | Paper |
An elementary proof of the descent theorem for Grothendieck toposes
Journal of Pure and Applied Algebra | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3941537 (Why is no real title available?)
| 1984-01-01 | Paper |
De Rham's theorem in a smooth topos
Mathematical Proceedings of the Cambridge Philosophical Society | 1984-01-01 | Paper |
On choice sequences determined by spreads
Journal of Symbolic Logic | 1984-01-01 | Paper |
Sheaf models for choice sequences
Annals of Pure and Applied Logic | 1984-01-01 | Paper |
Heine-Borel does not imply the Fan Theorem
Journal of Symbolic Logic | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3901609 (Why is no real title available?)
| 1984-01-01 | Paper |
Smooth spaces versus continuous spaces in models for synthetic differential geometry
Journal of Pure and Applied Algebra | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3827859 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3900745 (Why is no real title available?)
| 1983-01-01 | Paper |
Equational classes of toposes
Communications in Algebra | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3845810 (Why is no real title available?)
| 1983-01-01 | Paper |
On the Freyd cover of a topos
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3811564 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3765779 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3805544 (Why is no real title available?)
| 1982-01-01 | Paper |
A definability theorem for first order logic
| N/A | Paper |
Profinite $\infty$-operads: Part II
| N/A | Paper |
