| Publication | Date of Publication | Type |
|---|
| Synthetic Differential Topology | 2018-02-20 | Paper |
| Pitts monads and a lax descent theorem | 2015-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847360 | 2013-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3093857 | 2011-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5193044 | 2009-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3503829 | 2008-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431511 | 2007-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5298121 | 2007-07-16 | Paper |
| Quasicomponents in topos theory: the hyperpure, complete spread factorization | 2007-03-08 | Paper |
| Singular coverings of toposes | 2006-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700161 | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660567 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663629 | 2005-04-04 | Paper |
| van Kampen theorems for toposes | 2003-11-16 | Paper |
| The Michael completion of a topos spread | 2002-12-02 | Paper |
| Unique factorisation lifting functors and categories of linearly-controlled processes | 2002-06-15 | Paper |
| Distribution algebras and duality | 2001-10-28 | Paper |
| Exponentiability and single universes | 2000-10-25 | Paper |
| On a bicomma object condition for KZ-doctrines | 2000-02-15 | Paper |
| Spreads and the symmetric topos. II | 1999-08-19 | Paper |
| On the construction of the Grothendieck fundamental group of a topos by paths | 1997-11-18 | Paper |
| Cosheaves and distributions on toposes | 1997-06-03 | Paper |
| Spreads and the symmetric topos | 1997-05-12 | Paper |
| Constructive theory of the lower power locale | 1996-07-15 | Paper |
| The symmetric topos | 1996-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3137143 | 1994-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4277652 | 1994-05-15 | Paper |
| An application of descent to a classification theorem for toposes | 1990-01-01 | Paper |
| Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764315 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807405 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722245 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705592 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705593 | 1984-01-01 | Paper |
| Synthetic aspects of \(C^\infty\)-mappings | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3684274 | 1983-01-01 | Paper |
| On the transfer of an abstract nullstellensatz | 1982-01-01 | Paper |
| Sheaves and prime model extensions | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3905442 | 1981-01-01 | Paper |
| Boolean spectra and model completions | 1981-01-01 | Paper |
| Erratum to ``Topos theory and Souslin's hypothesis | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3869509 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3869510 | 1979-01-01 | Paper |
| On the relationship between composite and tensor product triples | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141377 | 1977-01-01 | Paper |
| Topos theory and Souslin's hypothesis | 1974-01-01 | Paper |
| Coherent Extensions and Relational Algebras | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638470 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5629815 | 1971-01-01 | Paper |
| Relative functor categories and categories of algebras | 1969-01-01 | Paper |
