| Publication | Date of Publication | Type |
|---|
| Heron's formula, and volume forms | 2022-09-09 | Paper |
| New methods for old spaces: synthetic differential geometry | 2021-11-12 | Paper |
| Square-densities, and volume forms | 2020-12-11 | Paper |
| Elementwise semantics in categories with pull-backs | 2020-04-30 | Paper |
| Column symmetric polynomials | 2019-08-01 | Paper |
| Integration of 1-forms and connections | 2019-02-28 | Paper |
| Huygens' principle - a synthetic account | 2018-04-16 | Paper |
| Bundle functors and fibrations | 2017-11-08 | Paper |
| Metric spaces and SDG | 2017-10-04 | Paper |
| Affine combinations in affine schemes | 2017-09-04 | Paper |
| Duality for generic algebras | 2015-10-09 | Paper |
| The dual fibration in elementary terms | 2015-01-08 | Paper |
| Projective lines as groupoids with projection structure | 2014-08-25 | Paper |
| Fibrations as Eilenberg-Moore algebras | 2013-12-05 | Paper |
| Local fibred right adjoints are polynomial | 2013-03-14 | Paper |
| On 1-form classifiers∗ | 2013-01-07 | Paper |
| Commutative monads as a theory of distributions | 2012-05-29 | Paper |
| Affine connections, midpoint formation, and point reflection | 2011-09-12 | Paper |
| Abstract projective lines | 2011-07-13 | Paper |
| Calculus of extensive quantities | 2011-05-17 | Paper |
| Monads and extensive quantities | 2011-03-30 | Paper |
| Theory of characteristics for first order partial differential equations | 2010-11-25 | Paper |
| Cubical version of combinatorial differential forms | 2010-05-07 | Paper |
| Geometric algebra of projective lines | 2010-03-10 | Paper |
| Synthetic geometry of manifolds | 2009-12-11 | Paper |
| Affine connections, and midpoint formation | 2009-12-01 | Paper |
| Envelopes -- notion and definiteness | 2007-09-18 | Paper |
| Infinitesimal cubical structure, and higher connections | 2007-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3441463 | 2007-05-30 | Paper |
| A geometric theory of harmonic and semi-conformal maps | 2007-02-15 | Paper |
| Some matrices with nilpotent entries, and their determinants | 2006-12-15 | Paper |
| Ordinary differential equations and their exponentials | 2006-09-04 | Paper |
| Synthetic differential geometry | 2006-05-31 | Paper |
| Distributions and heat equation in SDG | 2006-05-26 | Paper |
| Commutation Structures | 2005-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700172 | 2005-10-27 | Paper |
| Differential Calculus and Nilpotent Real Numbers | 2005-02-09 | Paper |
| Pregroupoids and their enveloping groupoids | 2005-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4831768 | 2005-01-03 | Paper |
| Categorical distribution theory; heat equation | 2004-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470942 | 2004-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4429197 | 2003-09-24 | Paper |
| Infinitesimal aspects of the Laplace operator | 2001-12-11 | Paper |
| Spaces with local equivalence relations, and their monodromy | 2001-11-23 | Paper |
| Differential forms as infinitesimal cochains | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511147 | 2001-07-13 | Paper |
| Some differential equations in synthetic differential geometry | 2001-04-17 | Paper |
| Volume form as volume of infinitesimal simplices | 2000-06-02 | Paper |
| Algebra of Principal Fibre Bundles, and Connections | 2000-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260331 | 2000-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4267836 | 1999-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223539 | 1999-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342441 | 1997-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342433 | 1997-06-18 | Paper |
| Monads for which structures are adjoint to units | 1996-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4311229 | 1994-11-08 | Paper |
| Generators and relations for \(\Delta\) as a monoidal 2-category | 1994-07-07 | Paper |
| Every étendue comes from a local equivalence relation | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3986545 | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978981 | 1992-06-26 | Paper |
| Fibre bundles in general categories | 1989-01-01 | Paper |
| A note on closed ideals in rings of smooth functions | 1989-01-01 | Paper |
| A Godement theorem for locales | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3488072 | 1989-01-01 | Paper |
| Mathematical structure of physical quantities | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804883 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3772393 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728201 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711134 | 1986-01-01 | Paper |
| Combinatorial notions relating to principal fibre bundles | 1986-01-01 | Paper |
| Lie group valued integration in well-adapted toposes | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3797787 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735915 | 1986-01-01 | Paper |
| Synthetic characterization of reduced algebras | 1985-01-01 | Paper |
| Combinatorics of non-holonomous jets | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3329629 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677919 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3321132 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3665899 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310029 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3314034 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3345459 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667051 | 1982-01-01 | Paper |
| Differential forms with values in groups | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668385 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3934581 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3918651 | 1981-01-01 | Paper |
| Properties of well-adapted models for synthetic differential geometry | 1981-01-01 | Paper |
| Models for synthetic integration theory. | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927376 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896273 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3872641 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917092 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3891459 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3904798 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4200359 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208859 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3864521 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3051023 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3207172 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208858 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861523 | 1979-01-01 | Paper |
| Taylor series calculus for ring objects of line type | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4147218 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883083 | 1978-01-01 | Paper |
| A simple axiomatics for differentiation. | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4132657 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4113936 | 1977-01-01 | Paper |
| Universal projective geometry via topos theory | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4129563 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4148076 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4100664 | 1975-01-01 | Paper |
| Linear algebra in a local ringed site | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4402503 | 1974-01-01 | Paper |
| Strong functors and monoidal monads | 1972-01-01 | Paper |
| Bilinearity and Cartesian Closed Monads. | 1972-01-01 | Paper |
| Closed categories generated by commutative monads | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5664068 | 1971-01-01 | Paper |
| Monads on symmetric monoidal closed categories | 1970-01-01 | Paper |
| On Double Dualization Monads. | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5664060 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650840 | 1969-01-01 | Paper |
| Cochain Functors for General Cohomology Theories I. | 1967-01-01 | Paper |
| A Secondary Product Structure in Cohomology Theory. | 1965-01-01 | Paper |
