activity
20002021
most citedCommutative monads as a theory of distributions

34 citations · 127 across the 38 of their papers we have counts for

collaborators
Showing 2016Show all

2 papers · 1 filter

math.MG2016

Metric spaces and SDG

Anders Kock

We explore how the synthetic theory of metric spaces (Busemann) can coexist with synthetic differential geometry in the sense based on nilpotent elements in the number line.

math.DG2016★ 2 cited

New methods for old spaces: synthetic differential geometry

Anders Kock

Survey talk on certain aspects of the subject, stressing the neighbor relation as a basic notion in differential geometry.