6 citations · 16 across the 5 of their papers we have counts for
9 papers
Pregroupoids and their enveloping groupoids
Anders Kock
We prove that the forgetful functor from groupoids to pregroupoids has a left adjoint, with the front adjunction injective. Thus we get an enveloping groupoid for any pregroupoid.…
Categorical distribution theory; heat equation
Anders Kock, Gonzalo E. Reyes
The aim of this paper is to develop the theory of distributions, not necessarily of compact support, in a topos model of Synthetic Differential Geometry, the so-called "Cahiers Top…
A geometric theory of harmonic and semi-conformal maps
Anders Kock
We describe for any Riemannian manifold a certain infinitesimal neighbourhood of the diagonal. Semi-conformal maps are analyzed as those that preserve such neighbourhoods; harmonic…
Some calculus with extensive quantities: wave equation
Anders Kock, Gonzalo E. Reyes
We take some first steps in providing a synthetic theory of distributions. In particular, we are interested in the use of distribution theory as foundation, not just as tool, in th…
First neighbourhood of the diagonal, and geometric distributions
Anders Kock
We describe the geometric notion of distribution in synthetic terms, utilizing the notion of "first neighbourhood of the diagonal" from algebraic geometry. We characterize involuti…
Some differential equations in synthetic differential geometry
Anders Kock, Gonzalo E. Reyes
Some differential equations are considered in the context of Synthetic Differential Geometry. Here, this means that not only nilpotent infinitesimals, but also the formation of fun…