We analyze the Bianchi Identity as an instance of a basic fact of com-binatorial groupoid theory, related to the Homotopy Addition Lemma. Here it becomes formulated in terms of 2-forms with values in the gauge group bundle of a groupoid, and leads in particular to the (Chern-Weil) construction of characteristic classes. The method is that of synthetic… (More)
CIRANO Le CIRANO est un organisme sans but lucratif constitué en vertu de la Loi des compagnies du Québec. Le financement de son infrastructure et de ses activités de recherche provient des cotisations de ses organisations-membres, d'une subvention d'infrastructure du Ministère du Développement économique et régional et de la Recherche, de même que des… (More)
It is shown how the theory of commutative monads provides an axiomatic framework for several aspects of distribution theory in a broad sense, including probability distributions, physical extensive quantities, and Schwartz distributions of compact support. Among the particular aspects considered here are the notions of convolution, density, expectation, and… (More)
In  we proved that a commutative monad on a symmetric monoidal closed category carries the structure of a symmetric monoidal monad (, Theorem 3.2). We here prove the converse, so that, taken together, we have: there is a 1-1 correspondence between commutative monads and symmetric monoidal monads (Theorem 2.3 below). The main computational work needed… (More)
In terms of synthetic differential geometry, we give a variational characterization of the connection (parallelism) associated to a pseudo-Riemannian metric on a manifold.
In the context of constructive locale or frame theory (locale theory over a xed base locale), we study some aspects of 'frame distributions', meaning sup preserving maps from a frame to the base frame. We derive a relationship between results of Jibladze-Johnstone and Bunge-Funk, and also descriptions in distribution terms, as well as in double negation… (More)