Wolfgang Bertram Lie

Wolfgang Bertram

LIE CALCULUS

Keywords: 2010 Mathematics Subject Classification. 18F15, 20L05, 22E65, 39A12, 58A05, 58C20, 97I40 (conceptual, topological) differential calculus, groupoids, higher algebra (n-fold groupoids), Lie group, Lie groupoid, tangent groupoid, cubes of rings. 1 cf. [Ko10, MR91]; see Subsection 7

come

Introduction

When working on the foundations of differential calculus (in chronological order, [START_REF] Bertram | Differential Calculus over general base fields and rings[END_REF][START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF][START_REF] Bertram | Simplicial differential calculus, divided differences, and construction of Weil functors[END_REF][START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF][START_REF] Bertram | Conceptual Differential Calculus. II : Cubic higher order calculus[END_REF]), I got the impression that there ought to exist a comprehensive algebraic theory, englobing both the fundamental results of calculus and of differential geometry, and where Lie theory is a kind of Ariadne's thread. Confirming this impression, groupoids turned out, in my most recent approach [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF][START_REF] Bertram | Conceptual Differential Calculus. II : Cubic higher order calculus[END_REF], to be the most remarkable algebraic structure underlying calculus. These groupoids are in fact Lie groupoids, and Lie theoretical features can be used even before starting to develop Lie theory properly. In this sense, Lie theory and the development of "conceptual" calculus go hand in hand, whence the term "Lie Calculus" chosen here. There are many similarities with the approach by synthetic differential geometry 1 , and, of course, with the ideas present in Charles Ehresmann's oeuvre (cf. [START_REF]The mathematical legacy of Charles Ehresmann[END_REF] for an overview): in a sense, I simply propose to apply his ideas not only to differential geometry, but already to calculus itself. The reader certainly realizes that this sounds like a big program, and indeed the present short text, though entirely self-contained, is far from giving a final and complete exposition of these ideas. I hope to have time and occasion to develop them in more length and depth in some not too distant future.

Lie Calculus, as understood here, can be cast in three formulae. We consider functions f : U → W , where U is an (open) subset in a K-vector space V . The first formula defines the first extended domain of U:

(0.1) U [1] := {(x, v, t) ∈ V × V × K | x ∈ U, x + tv ∈ U}.
The second formula goes with Theorem 2.4 saying that the pair of sets (0.2) U {1} := (U [1] , U × K),

with source α and target β, units, product and inversion defined as in the theorem, is a groupoid. The third formula describes the "iteration" of (0.2): one would like to define the "double extension" by (U {1} ) {1} , but since it turns out that one has to remember the order in which these iterated extensions are performed, we must first make a formal copy {k} of the symbol {1}, for each k ∈ N, and then define (0.3) U n := U {1,2,...,n} := (. . . (U {1} ) {2} . . .) {n} .

Then (Theorem 6.1) U n is an n-fold groupoid, called the n-fold tangent groupoid of U (def. 6.3; indeed, it is a higher order generalization of Connes' tangent groupoid, cf. def. 2.6). A map f : U → W then is smooth if, and only if, it has natural prolongations to groupoid morphisms f n : U n → W n , for all n ∈ N (Theorem 6.2).

Studying the structure of f n and the one of U n go hand in hand.

A first aim of the present text is to make these three formulae intelligible: to give the necessary background and definitions, and to indicate the (elementary) proofs. A second aim is to unfold them a little bit more: to give some ideas about their consequences and about what kind of theory emerges from them. As said above, the full unfolding will be a matter for another book.

Here is a short description of the contents of this work: Basic notions and ideas on groupoids are presented in Section 1. In Section 2, we explain that first order calculus of a map f is described by groupoids, via formulae (0.1) and (0.2). We also establish the chain rule (g • f ) n = g n • f n . The chain rule is the basic tool needed to define atlasses and manifolds. In the present approach, speaking about manifolds is less essential than in the usual presentation, and the corresponding Section 3 is rather short. Indeed, our constructions are natural from the very outset, and hence it is more or less obvious that everything carries over to the manifold level: the groupoid M {1} is an intrinsic object associated to any (Hausdorff) manifold M. The step from first order to higher order calculus is, conceptually, most important and challenging: already in usual calculus, the procedure of iterating is not quite straightforward, and in the present approach, it naturally leads to higher, n-fold groupoids. A (hopefully) simple and down-to-earth presentation of this concept is given in Section 4. With this preparation at hand, Sections 5 and 6 are the heart of the present work: (general) higher order calculus works by using several times principles of (first order) Lie calculus. We concentrate on the symmetric cubic theory, and show that it can be understood from the point of view of scalar extension by cubes of rings (Theorem 6.9). These definitions are the beginning of a far-reaching theory whose full exposition would need more space. In order to give an impression of its possible scope, at the end of this paper we give some more comments on Lie Theory (subsection 6.3.1), Connection Theory (subsection 6.3.2), and on further problems (section 7) such as the case of discrete base rings, "full" cubic calculus and the scaloid, relation with SDG, and the case of possibly non-commutative base rings and supercalculus.

Notation. For n ∈ N, the standard n-element set is denoted by (0.4) n := {1, . . . , n}.

Acknowledgment. The present work has been presented at the 50th Seminar Sophus Lie in Bȩdlewo, Se and I would like to thank the organizers for inviting me and for the great job they did in organizing this conference. I also thank the unknown referee for helpful comments.

Groups, and their cousins

In Lie Theory, but also in general mathematics, groups play a double rôle: on the one hand, they are an object of study in their own right, and on the other hand, they are an important tool, or even: a part of mathematical language, used for studying a great variety of topics. This double aspect is shared by some of their "cousins". Recall that a group has a binary, everywhere defined, and associative product, one unit, and inversion. Then,

• forgetting the unit but keeping an everywhere defined product we get torsors,

• forgetting associativity, but keeping one unit and invertibility, we get loops,

• allowing many units, and a not everwhere defined product, we get groupoids,

• forgetting inversion in a groupoid, we get small categories,

• forgetting the units in a groupoid, we get pregroupoids. In this work, we will not talk about loops, although, via the theory of connections, they have a close relation to the topics to be discussed here (see subsection 6.3.2).

1.1. Groups without unit: torsors. We start with a group. But sometimes one wishes to get rid of its unit element, just like affine spaces are sometimes preferable to vector spaces. A simple and efficient way to describe this procedure algebraically is to replace the binary product map by the ternary product map G 3 → G, (x, y, z) → (xyz) := xy -1 z. It satisfies the algebraic identities (IP) idempotency: (xyy) = x = (yyx), (PA) para-associativity: ((uvw)yz) = (uv(wyz)) = (u(ywv)z). By definition, a torsor is a set together with an everywhere defined ternary map satisfying (IP) and (PA).2 It is easy to prove that every torsor M, after fixing an element y ∈ M, becomes a group with product xz := (xyz). The converse is also true: torsors are for groups what affine spaces are for vector spaces (folklore). 1.2. Groupoids. By now, it is widely realized that groupoids are omnipresent in mathematics -see [START_REF] Brown | From Groups to Groupoids[END_REF][START_REF] Da Silva | Geometric Models for Noncommutative Algebras[END_REF][START_REF] Mackenzie | General Theory of Lie Groupoids and Lie Algebroids[END_REF][START_REF] Weinstein | Groupoids: Unifying Internal and External Symmetry[END_REF]. Since there are various definitions and conventions, it is important to fix one throughout a given text. Here is our's:

Definition 1.1. A groupoid G = (G 1 , G 0 , α, β, * , 1, i) is
given by: a set G 0 of objects, a set G 1 of morphisms, by source and targent maps α, β : G 1 → G 0 , a product * defined on the set

G 1 × α,β G 1 := (a, b) ∈ G 1 × G 1 | α(a) = β(b) , such that α(a * b) = α(b) and β(a * b) = β(a) and (a * b) * c = a * (b * c) whenever β(c) = α(b) and β(b) = α(a); a unit section 1 : G 0 → G 1 , x → 1 x such that α • 1 = id G 0 = β • 1, and a * 1 α(a) = a, 1 β(b) * b = b, and an inversion map i : G → G, a → a -1 such that a * a -1 = 1 β(a) , a -1 * a = 1 α(a) .
Following [START_REF] Da Silva | Geometric Models for Noncommutative Algebras[END_REF][START_REF] Weinstein | Groupoids: Unifying Internal and External Symmetry[END_REF], we shall represent a groupoid by drawing its morphism set. Fibers of α and β are represented by grey lines whose directions are given by the two arrows, labelled α, β, and the object set G 0 is identified with the image of the unit section (fat horizontal line in the figure).

G0 (object set) f g g * f h h * g * f h * g g -1
Example 1.1 (Pair groupoids). For every set M, the pair groupoid PG(M) is defined by:

G 1 = M × M, G 0 = M, α(y, x) = x, β(y, x) = y, 1 x = (x, x), (z, y) * (y, x) = (z, x), (y, x) -1 = (x, y).
In this case, one might rather be inclined to represent G 0 by a diagonal line, and β by horizontal lines. The pair (y, x) may be seen as the "zero jet" of a function sending x to y, and the pair groupoid may thus be considered as the groupoid of jets of order zero.

Example

1.2. Let ǫ = {(x, y) ∈ M 2 | x ∼ y} be (the graph of) an equivalence relation ∼ on M. Then G 1 = ǫ, G 0 = M defines a subgroupoid of the pair groupoid. Example 1.3 (Groups). If α = β, then every fiber [y] α = {g ∈ G 1 | α(g)
= y} is a group with unit 1 y : we have a group bundle. If, moreover, G 0 is a singleton, then G 1 is a usual group. Thus groupoids generalize groups.

1.3. Small cats. By small cat we shall abbreviate the term small category: it is defined just like a groupoid, without requiring existence of the inverse i. For instance, if in Example 1.2, ǫ is reflexive and transitive, but not symmetric, we get a small cat. A small cat with one object is a monoid. A groupoid can be defined as a small cat in which every morphism is invertible. When we use the word "category", we mean "(possibly) big category" (that is, the collection of objects and morphisms need not form a set in the sense of naive set theory).

1.4. Pregroupoids. With groupoids, we may play the game described above, forgetting the units in order to get the groupoid analog of a torsor, called a pregroupoid: we retain properties of the ternary product (abc) := a * b -1 * c, defined on the set

G 1 × α G 1 × β G 1 := (a, b, c) ∈ G 1 × G 1 × G 1 | α(a) = α(b), β(c) = β(c) .
As is immediately checked, the ternary product satisfies idempotency (IP) and para-associativity (PA) (see above, 1.1). A pregroupoid is defined to be a set G 1 with two surjections α : G 1 → A, β : G 1 → B and a ternary product defined on

G 1 × α G 1 × β G 1 satisfying these two properties (definition due to Kock, cf. [Be14]).
Example 1.4. If A = B is a singleton, then a pregroupoid is the same as a torsor.

Example 1.5. Let A, B sets, let G 1 := B × A, α = pr A and β = pr B the two projections, and when

α(a, b) = α(a ′ , b ′ ), β(a ′′ , b ′′ ) = β(a ′ , b ′ ), i.e., b = b ′ , a ′ = a ′′ , (a, b), (a ′ , b ′ ), (a ′′ , b ′′ ) := (a, b ′′ ) .
You may call this a "pair-pregroupoid". If A = B, this is the pair groupoid with (uvw) = u * v -1 * w, by forgetting the unit section; else it is "new".

Functors. A functor between small cats or groupoids

G = (G 1 , G 0 ) and G ′ = (G ′ 1 , G ′ 0 ) is given by a pair of maps f = (f 1 : G 1 → G ′ 1 , f 0 : G 0 → G ′ 0 ) such that (1) α ′ • f 1 = f 0 • α, β ′ • f 1 = f 0 • β, 1 ′ • f 0 = f 1 • 1, (2) ∀(a, b) ∈ G 1 × α,β G 1 : f 1 (a * b) = f 1 (a) * ′ f 1 (b).
Obviously, small cats, and groupoids and their functors form (big!) categories. 1.6. Opposites. For each small cat or groupoid G, there is an opposite small cat (groupoid) G opp , given by the same sets, and α opp := β, β opp = α, a * opp b := b * a, i opp = i and 1 opp = 1. A contravariant functor is a functor into an opposite cat. 1.7. Sections and bisections. An α-section of (G 1 , G 0 ) is a subset S ⊂ G 1 which is a representative set for α-classes, and likewise for β-sections. The spaces of such sections are denoted by

Sec α (G) := S ⊂ G 1 | ∀x ∈ G 0 : ∃ ! s = s(x) ∈ S : x = α(s) , (1.1) Sec β (G) := S ⊂ G 1 | ∀x ∈ G 0 : ∃ ! s = s(x) ∈ S : x = β(s) . (1.2)
Of course, then S = im(s) is uniquely determined by the map s : G 0 → G 1 , which is a section of α, resp. of β. A bisection is a section both of α and of β, and the space of all bisections is denoted by

(1.3) Bis(G) := Sec α (G) ∩ Sec β (G).
The proof of the following two theorems is straightforward (cf. [START_REF] Da Silva | Geometric Models for Noncommutative Algebras[END_REF][START_REF] Bertram | Universal associative geometry[END_REF]).

Theorem 1.2 (Monoid of sections, group of bisections). For every groupoid G, the power set P(G 1 ) forms a monoid with respect to the product S * R induced by the groupoid law * of G, and unit 1 = 1 G 0 the unit section,

S * R = {s * r | s ∈ S, r ∈ R, α(s) = β(r)}.
The sets Sec α (G) and Sec β (G) are sub-moinoids of P(G) such that (Sec α (G)) -1 = Sec β (G). In particular, Bis(G) is a group, called the group of bisections of G.

Example 1.6. [Binary relations] Let G = PG(M) be the pair groupoid of a set M.

Then P(G 1 ) = P(M × M) is the set of binary relations on M with their usual relational product, and Sec α (G) is the set of (graphs of) mappings f : M → M, and Bis(G) = Bij(M) the group of bijections of M. Note that Sec β (G) is the set of "duals" of mappings; there is no common word in mathematics to name it.

Theorem 1.3 (Anchor). For each groupoid (G 1 , G 0 ), the anchor map (Υ, id G 0 ),

Υ : G 1 → G 0 × G 0 , , g → (β(g), α(g)),
is a functor from G to PG(G 0 ), and it induces a group morphism

Bis(G) → Bij(G 0 ), S → (x → β(S ∩ [x] α )) .
Remark 1.1. A groupoid is called principal if Υ is an isomorphism. This holds iff the groupoid is isomorphic to a pair groupoid. In this sense, principal groupoids "are" the pair groupoids.

The groupoid of differential calculus

2.1. The classes C n . Let us briefly review "usual" differential calculus. The crucial operation is to take the limit t → 0 in the difference quotient (2.1) of a map f : U → W , where f is defined on an (open) set U in a vector space V , with values in another vector space W ,

(2.1)

f [1] (x, v, t) := f (x + tv) -f (x) t .
In other words, filling in the "missing value" for t = 0, we can extend the difference quotient to a map f [1] : U [1] → W defined on the whole set U [1] given by (0.1). It is more or less folklore that this map is

continuous iff f is of class C 1 : Theorem 2.1. Assume K = R, V = R n , W = R m .
The following are equivalent:

(1) f is of class C 1 , (2) the difference quotient map extends to a continuous map f [1] : U [1] → W . Under these conditions, the differential of f is given by df (x)v = f [1] (x, v, 0). Moreover, with the same notation, the following are also equivalent:

(

') f is of class C n , ( 1
') f is C 1 , and f [1] : U [1] → W is of class C n-1 . 2
The proof is a nice exercise in undergraduate calculus -see, e.g., [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF][START_REF] Bertram | Calcul différential topologique élémentaire[END_REF] for the solution, and [START_REF] Bertram | Differential Calculus over general base fields and rings[END_REF] for generalizations to various infinite dimensional situations. As observed in [START_REF] Bertram | Differential Calculus over general base fields and rings[END_REF], property (2') from the theorem can serve much more generally as a definition of the class C n over non-discrete topological fields, or even more generally, over "good" topological rings:

Definition 2.2. Assume K is a good topological ring, meaning, a topological ring whose unit group

K × is dense in K. A map f : U → W from an open set U in a topological K-module V to a a topological K-module W is called of class C 1 K
if it satisfies property (2) from the preceding theorem, i.e., if a continuous map f [1] : U [1] → W , extending the difference quotient, exists. The class C n K is defined inductively by using property (2') from the theorem, and the higher order extended domains and higher order difference quotient maps are defined inductively by

U [n] := (U [n-1] ) [1] , f [n] := (f [n-1] ) [1] : U [n] → W.
Calculus based on this definition, called topological differential calculus, has excellent properties, which by the way clarify and simplify proofs of well-known facts from "usual" real calculus. One uses, over and over, the "density principle":

Lemma 2.3 (Prolongation of identities). If f is of class C n ,
then all algebraic identities satisfied for f [n] and for invertible scalars in the arguments of f [n] continue to hold, by continuity and density, for all scalars.

Example 2.1. For instance, linearity of the first differential is obtained by this principle as follows: first, for invertible t, by direct and trivial computation,

f [1] (x, v + v ′ , t) = f [1] (x, v, t) + f [1] (x + vt, v ′ , t). (2.2)
By prolongation of identities, if f is C 1 , this also holds for t = 0, whence additivity df (x)(v + v ′ ) = df (x)v + df (x)v ′ . Homogeneity is proved similarly (see [START_REF] Bertram | Differential Calculus over general base fields and rings[END_REF]). Thus in topological differential calculus, linearity of the differential df (x) is a theorem, in contrast to he traditional approach by Fréchet differentiability, where it is an assumption. By the philosophical principle known as Occam's razor, eliminating this assumption can be considered as a methodological advantage of topological differential calculus, compared to the usual one. Put differently, the idea of considering differential calculus as a "linearization machine" is a consequence, and not an an input, in our approach. In this respect, one might say that we are coming back to the original ideas of Newton and Leibniz -who rather thought in terms of "continuity of nature" than in terms of "approximation of nature by linear algebra".

2.2. The tangent groupoid. The most fundamental structure of U [1] is the one of a groupoid. Topology is not needed in the following Theorem 2.4 (The groupoid U {1} ). Assume V is a module over a ring K, U ⊂ V is non-empty, and define U [1] by Eqn. (0.1). Then the pair (G 1 , G 0 ) = (U [1] , U ×K), with projections and unit section defined by

α(x, v, t) := (x, t), β(x, v, t) := (x + tv, t), 1 (x,t) := (x, 0, t),
and product * and inverse i given by (when

x ′ = x + tv and t ′ = t) (x ′ , v ′ , t ′ ) * (x, v, t) = (x, v ′ + v, t), (x, v, t) -1 = (x -tv, -v, t),
is a groupoid which we shall denote by U {1} . For each fixed value of t, the same formulae define a groupoid denoted by

U {1} t := (U t , U) := ({(x, v) | (x, v, t) ∈ U [1] }, U) .
Proof. The properties from Definition 1.1 are checked by straightforward computation. We urge the reader to check this (full details are given in [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF]). For instance, let us here just prove the condition β(a * b) = β(a):

β(x ′ , v + v ′ , t) = x + t(v + v ′ ) = (x + tv) + tv ′ = x ′ + tv ′ = β(x ′ , v ′ , t).
Since t remains "silent" in these computations, (U t , U) is also a groupoid.

Theorem 2.5 (Anchor of U {1} ). For invertible t, the groupoid U t is isomorphic to the pair groupoid of U, and for t = 0, it is the tangent bundle of U. More precisely, for each invertible scalar t, the anchor map

Υ : U t → U × U, (x, v) → (β(x, v), α(x, v)) = (x + tv, x)
defines an isomorphism (Υ, id U ) between the groupoid U t and the pair groupoid PG(U) = (U × U, U). For t = 0, the groupoid U t is a group bundle, given by

(T U, U) := (U × V, U), α(x, v) = x = β(x, v), (x, v) * (x, v ′ ) = (x, v + v ′ ).
Proof. Recall from th. 1.3 that Υ always defines a groupoid morphism. Let t ∈ K × , the group of invertible scalars. Then Υ is bijective, with inverse given by Υ -1 (z, x) = ( 1 t (zx), x). When t = 0, we get β(x, v) = x + 0v = x = α(x), so α = β, and we have a group bundle as described in the theorem.

Definition 2.6. The groupoid U {1} is called the tangent groupoid3 of U. The group bundle (T U, U) is called the tangent bundle of U, and the groupoid

U {1} fin := (U, {(x, v, t) ∈ U [1] | t ∈ K × }) ∼ = PG(U) × K × is called the finite part of the tangent groupoid. Note that, if K is a field, then U {1} is the disjoint union of U {1} fin and T U.
One should think of the family (U t ) t∈K of groupoids as a sort of contraction of the pair groupoid (t = 1) towards the tangent bundle (t = 0), by letting β-fibers become more and more vertical as t tends to 0, as in Figure 2.

t = 1 t = 1 2 t = 0
Using a fixed scalar s, we can relate U t and U st . In [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF], this has been formalized into a double category structure U {1} . In the present work, we will only use the following more down-to-earth version of the scalar action:

Theorem 2.7 (Rescaling). The group K × acts on U {1} by automorphisms: fix a scalar s ∈ K × and define Φ s :

U {1} → U {1} by U [1] → U [1] , (x, v, t) → Φ s (x, v, t) := (x, sv, ts -1 ), U × K → U × K, (x, t) → Φ s (x, t) := (x, ts -1 ).
Then Φ s is an automorphism of U {1} , and Φ st = Φ s Φ t , Φ 1 = id. Moreover, the finite part U {1} fin , and the tangent bundle T U, are stable under Φ s . Proof. The action is well-defined: this follows from α(x, sv, ts -1 ) = (x, ts -1 ) = s.α(x, v, t) and β(x, sv, ts -1 ) = (x + ts -1 sv, ts -1 ) = (x + tv, ts -1 ) = s.β(x, v, t). By direct check, for each s ∈ K × , the formulae from the theorem define an automorphism. Since ts -1 ∈ K × if t, s ∈ K × , the finite part is stable, and since 0s -1 = 0, it follows that T U is stable.

2.3. Tangent maps. Every map f extends to a morphism of finite parts of tangent groupoids. By "extends" we mean that the base map, on the level of objects, is f itself, resp. f × id K . On the level of the total set of the groupoid, the extended map is essentially given by the difference quotient map f [1] defined by (2.1): given

K-modules V, V ′ , non-empty subsets U ⊂ V, U ′ ⊂ V ′ and a map f : U → U ′ , let f {1} fin : U {1} fin → U {1} fin , (x, v, t) → f (x), f [1] (x, v, t), t , (2.3) f {1} t : U {1} t → U {1} t , (x, v) → f (x), f [1] (x, v, t) , (2.4)
where in the second line t ∈ K × is fixed.

Theorem 2.8 (Tangent maps). The map f

{1} fin : U {1} fin → U {1}
fin is a functor, and so is f

{1} t : U {1} t → U {1} t for each fixed t ∈ K × . The functor f {1} fin commutes with each automorphism Φ s with s ∈ K × : f {1} fin • Φ s = Φ s • f {1} fin .
Proof. Once more, we invite the reader to check by direct computation that properties (1), (2) from 1.5 hold (see [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF] for detailed computations). E.g.,

β • f {1} t (x, v) = f (x) + t f (x + tv) -f (x) t = f (x + tv) = f • β(x, v),
and property (2) is directly proved from (2.2). More conceptually, these computations may be interpreted as follows: for invertible t, the anchor isomorphism Υ from Theorem 2.5 intertwines

f {1} t and f × f , Υ • f {1} t (x, v) = α(f {1} t (x, v)), β(f {1} t (x, v)) = (f (x), f (x + tv)) = (f × f ) • Υ(x, v). Now, it is easily checked that (f × f, f ) is a morphism PG(U) → PG(U ′ ), hence, via Υ, f {1} t
is also groupoid morphism. On the level of finite parts, via Υ, the morphism corresponds to (f

× f × id K × , f × id K × ). In the same way, Φ s corresponds to (id U × id U × s -1 id K , id U × s -1 id K )
, which obviously commutes with the morphism given by the preceding formulas.

A map f extends to a functor of tangent groupoids if, and only if, it is C 1 : Theorem 2.9 (Topological calculus). Assume that K is a good topological ring, V, V ′ topological K-modules and U ⊂ V, U ⊂ V ′ open, and f : U → U ′ . Then the following are equivalent:

(1) f is of class C 1 over K, (2) the finite part f {1} fin from the preceding theorem extends to a continuous functor f {1} : U {1} → (U ′ ) {1} . If this is the case, f {1} commutes with the K × -action, as in the preceding theorem, and, for t = 0, the tangent map

T f := f 0 : T U → T U ′ is linear in fibers: ∀x ∈ U, v, v ′ ∈ V, s ∈ K : T f (x, v + v ′ ) = T f (x, v) + T f (x, v ′ ), T f (x, sv) = s.T f (x, v).
Proof. The proof is spelled out in full detail in [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF]: (1) is equivalent to saying that the difference quotient map f [1] extends, which in turn is equivalent to saying that

f {1} (x, v, t) = (f (x), f [1] (x, v, t), t
) extends to a continuous map on U [1] . We have to prove that this extended map still is a functor commuting with the scalar action. But this follows from the "density principle" (Lemma 2.3) and the fact that the finite part is a functor. (This is essentially the argument from Example 2.1.) 2.4. Chain rule: the "derivation functor". Most of the basic results of calculus carry over to topological calculus, and the proofs are very simple: prove the claim by direct computation for invertible scalars t, then by continuity and density the result carries over to t = 0. Here an example:

Theorem 2.10 (Chain rule). Let U, U ′ , U ′′ be open in topological K-modules V, V ′ , V ′′ , respectively, and g : U ′ → U ′′ and f : U → U ′ . Then, if g and g are C 1 , then so is g • f , and we have the chain rule

(g • f ) {1} = g {1} • f {1} , or, equivalently, ∀t ∈ K: (g • f ) {1} t = g {1} t • f {1} t . In particular, T (g • f ) = T f • T g. Proof.
A proof by direct computation is given in [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF]. In a conceptual way, that proof may be presented as follows: for t ∈ K × , as in the proof of th. 2.8, via the anchor isomorphism Υ, the chain rule translates to (g •f )×(g •f ) = (g ×g)•(f ×f ), which clearly is true. By the Density Lemma 2.3, equality holds for all t ∈ K, and hence in particular for t = 0, whence the usual chain rule.

The "derivation symbol" {1} is thus a functor from the category of (open) subsets of topological K-modules, with C 1 -maps as morphisms, to the category of (topological) groupoids with their (continuous) morphisms. Topological differential calculus is the theory of this functor. Of course, now we must talk about second and higher order calculus: what happens if we apply this functor several times? The first thing we have to do is to "copy and save" our functor: Definition 2.11. For every n ∈ N, we denote by {n}, {n} t , U {n} , f {n} , etc., a copy, called of n-th generation, of the objects defined above for n = 1.

Before explaining what to do with these copies, let's pause for a more classical intermezzo:

3. Intermezzo on manifolds 3.1. Manifolds. By general principles, the derivation functor {1} extends to the category of smooth manifolds and smooth maps: Theorem 3.1. For every Hausdorff manifold M, there is a groupoid M {1} = (M [1] , M × K), agreeing with the groupoid U {1} from Theorem 2.4 when M = U is open in a topological K-module. Smooth maps between manifolds correspond precisely to continuous functors between these groupoids. For any fixed t ∈ K, the groupoid M {1} gives rise to a groupoid M {1} t = (M t , M) which is isomorphic to PG(M) for t ∈ K × , and to the tangent bundle T M for t = 0. There is a canonical K × -action on M {1} , commuting with all functors f {1} .

The proof ([Be15a]

) is quite straightforward, but in order to spell it out properly, we have to give a formal and precise definition of what we mean by "manifold over general base fields or rings": charts, atlasses, and all that. This is carried out in [START_REF] Bertram | A precise and general notion of manifold[END_REF]: it turns out that, formally, a manifold structure (an atlas) is an ordered groupoid. For the purposes of the present work, it is not really necessary to go into the details; let us just mention that the partial order structure comes from the natural inclusion of charts, and the groupoid structure reflects equivalence of charts if they have same chart domain. Using this language, we can describe the local procedure of gluing together the sets U {1} i from chart domains U i , using the chain rule, to a set M {1} . In the same way, the groupoid law on M {1} is defined locally, near the unit section. However, in order to define it globally, we need the Hausdorff assumption from the theorem (cf. Lemma D.3 of [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF]: to define a * b, if a, b are sufficiently close to each other, we can work in one connected local chart, but else we have to use possibly non-connected chart domains obtained from two disjoint chart domains which exist due to the Hausdorff assumption. Without that assumption we would only get local groupoids, which suffices for many purposes. If K is a field, the gluing procedure can be avoided by presenting the tangent groupoid "à la Connes" (cf. def. 2.6 and footnote there), and thus this item seems not to be related to questions involving non-Hausdorff groupoids studied, e.g., in Non-commutative Geometry.)

Proof. Since U is open in V , U [1] = {(x, v, t) | x + tv ∈ U} is open in V × V × K, and the set U [1] × α,β U [1] = {(x ′ , v ′ , t ′ ; x, v, t) | t = t ′ , x ′ = x + tv ∈ U, x ′ + tv ′ ∈ U} is naturally identified with {(x, v, v ′ , t) | x ∈ U, v, v ′ ∈ V, t ∈ K : x + tv ∈ U, x + t(v + v ′ ) ∈ U}
which is open in V 3 × K. Thus these three sets are smooth manifolds (with atlas a single chart induced by the ambiant linear space), and all structure maps are smooth since they are all given by explicit formulas involving only scalar multiplication and vector addition, which are continuous, whence differentiable. Again, by the principles explained above, the result carries over to the manifold level.

What we have seen so far implies that a Lie group, or a Lie groupoid, carries 3 groupoid structures, that are compatible with each other: first, it is a group (resp. groupoid) in its own right; second, as said above, its manifold structure is an (ordered) groupoid; third, by Theorem 3.1, G {1} carries the tangent groupoid structure. It is time to explain what it means to say that "one groupoid structure is compatible with another". Even if we neglect the ordered groupoid structure corresponding to the atlas, there remains a double groupoid structure. And we have not even started to develop higher order calculus, where similar considerations lead to n-fold groupoids.

Double and higher groupoids

Higher order calculus arises by iterating the operation of "differentiation", giving rise to things like f ′′ , f ′′′ , or ∂ u ∂ v f , or d(df ), or T (T f )... Such iteration procedures may look harmless, but can lead to complicated objects. For instance, let's compute the second order slope f [2] = (f [1] ) [1] : it is given by f

[2] (v 0 , v 1 , t 1 ), (v 2 , v 12 , t 12 ), t 2 = = 1 t 2 f [1] (v 0 , v 1 , t 1 ) + t 2 (v 2 , v 12 , t 12 ) -f [1] (v 0 , v 1 , t 1 ) = f v 0 + t 2 v 2 + (t 1 + t 2 t 12 )(v 1 + t 2 v 12 ) -f (v 0 + t 2 v 2 ) t 2 (t 1 + t 2 t 12 ) - f (v 0 + t 1 v 1 ) -f (v 0 ) t 2 t 1 (4.1)
and it extends, if f is C 2 , to a map f [2] defined on the set

U [2] = (U [1]
) [1] given by

       (v 0 , v 1 , v 2 , v 12 , t 1 , t 2 , t 12 ) ∈ V 4 × K 3 v 0 ∈ U v 0 + t 1 v 1 ∈ U, v 0 + t 2 v 2 ∈ U v 0 + t 2 v 2 + (t 1 + t 2 t 12 )(v 1 + t 2 v 12 ) ∈ U        .
Clearly, it is hopeless to try to understand f [n] for n ≥ 3 by writing out an "explicit formula" like (4.1) -we need a more conceptual approach. The notion of n-fold groupoid provides such a conceptual framework. In the setting described above, we apply the "derivation symbol" {1} several times: first, it gives a groupoid U {1} , and next a double groupoid (U {1} ) {1} , and so on. Moreover, we shall see that the outcome of this iteration depends on the order in which things are performed, hence our notation has to take account of that: we will apply first the operator {1}, then its copy {2}, and write U {1,2} := (U {1} ) {2} , and so on (see eqn. (0.3)).

4.1. Ehresmann's definition. Following Charles Ehresmann, one can define double and higher groupoids in a very short way (reproduced, e.g., on the n-lab): Definition 4.1. A 0-fold groupoid is just a set. A (strict) n-fold groupoid is a groupoid internal to the category of (strict) (n -1)-fold groupoids.

The drawback of this short definition is that it is not very explicit, and moreover that it uses the vocabulary of "big" categories in order to define something "small", that is, an object of usual algebra. Let us give definitions avoiding these drawbacks. Since all our structures will be "strict", we suppress this term in the sequel. First of all, we spell out Ehresmann's definition in more detail: Definition 4.2. An n-fold groupoid for n = 0 is just a set without structure, morphisms being ordinary maps, and for n = 1, it is a pair of sets G = (G 0 , G 1 ) with structure maps α, β, 1, i, * as in Def. 1.1, and morphisms are functors f = (f 0 , f 1 ) as defined in 1.5. For n ≥ 1, it is a groupoid G = (G 0 , G 1 , α, β, 1, i, * ), such that:

(1) G 0 and G 1 carry each the structure of an (n -1)-fold groupoid, (2)

G 1 × α,β G 1 is a sub-(n -1)-fold groupoid of G 1 × G 1 , (3)
the structure maps α, β, 1, i, * are morphisms of (n -1)-fold groupoids. A morphism of n-fold groupoids is a groupoid morphism f = (f 0 , f 1 ) such that both f 0 and f 1 are morphisms of (n -1)-fold groupoids.

4.2.

The Brown-Spencer definition of double groupoids. In [START_REF] Brown | Double groupoids and crossed modules[END_REF], Brown and Spencer give a "purely algebraic" definition of double groupoids, in terms of structure maps and defining algebraic identities. This is obtained by writing out, for n = 2, the preceding definition in full detail: G 1 = (G 11 , G 10 ) and G 0 = (G 01 , G 00 ) are groupoids, α = (α 1 : G 11 → G 01 , α 0 : G 01 → G 00 ), and likewise β, are groupoid morphisms, and so are the unit sections; that is, we have 4 sets and diagrams of mappings between them:

(4.2) G 11 ⇉ G 01 G 10 ⇉ G 00 , G 11 ← G 01 ↑ ↑ G 10 ← G 00 ,
as well as products * on G 11 and G 01 and • on G 11 and G 10 , such that

(1) each of the four edges of these diagrams with its structure maps is a groupoid, (2) each pair of corresponding projections (like (α 1 : G 11 → G 10 , α 0 : G 01 → G 00 )) and each pair of unit sections is a morphism of groupoids, (3) the product * is a morphism from (G 11 × G 10 G 11 , • × •) to (G 01 , •) (and likewise for • and * exchaged). Whereas it is straightforward to write (1) and (2) in equational form (like, e.g.,

α 1 (b * a) = α 1 (b) * α 1 (a), cf. [Be15a]
), this is slightly less obvious for (3): the map

A := * : G 11 × G 10 G 11 → G 11 , (a, b) → a * b is a morphism for • iff A((a, b) • (c, d)) = A(a, b) • A(c, d),
that is, iff the following interchange law holds:

(4.3) (a • c) * (b • d) = (a * b) • (c * d);
Summing up, a double groupoid is given by four sets (G 11 , G 10 , G 01 , G 00 ) and certain structure maps satisfying algebraic conditions expressing (1) -(3), like (4.3). We shall often indicate double groupoids by diagrams of the form (4.2).

Remark 4.1. It follows from (1), (2), (3) that inversion of * is an automorphism of • -which may look surprising since it is an antiautomorphism for * . So, in the particular case where * = •, both must be commutative (cf. example 4.2 below).

Example 4.1 (The pair groupoid of a groupoid). Let L = (L 1 , L 0 ) be a groupoid.

Then the pair groupoid PG(L) of L is a double groupoid:

L 1 × L 1 ⇉ L 1 L 0 × L 0 ⇉ L 0
The horizontal groupoid laws are pair groupoids of L 1 , resp. L 0 , and the vertical ones come from the given one on L. A conceptual explanation is given by the fact that the symbol PG is a product preserving functor, taking values in groupoids (cf. next chapter). In particular, taking L = PG(M), the pair groupoid of a set M, we get the double pair groupoid PG 2 (M) = PG(PG(M)) of M: Conversely, every commutative group does indeed define a double group. This apparenty trivial observation explains why abelian groups lie at the bottom of so many mathematical structures: they "are" precisely the double groups.

M 4 ⇉ M 2 M 2 ⇉ M
4.3. Notation, hypercubes, and small characterization. It should be obvious now that a 3-fold groupoid will consist of 8 sets, each corresponding to the vertex of a cube, and so on: an n-fold groupoid is given by 2 n sets that correspond to the vertices of an n-hypercube. It is now time to improve our notation:

Definition 4.3. Let N ⊂ N be a finite subset, for instance, the standard subset n given by (0.4). The N-hypercube has vertex set P(N) (power set of N), and edges (B, A), where B ⊂ A ⊂ N, and A has one element more than B. We denote such an edge by BA. A face is given by four vertices (D, C, B, A) such that DC, DB, BA, CA are edges.

Theorem 4.4 (Small characterization of n-fold groupoids). An n-fold groupoid is given by 2 n sets (G A ) A∈P(n) , indexed by the natural hypercube P(n), and structure maps, satisfying:

(1) for each edge (B, A), we have projections α A,B , β A,B , unit sections 1 A,B , inversions i A,B and products * A,B turning (G A , G B ) into a groupoid, (2) for each face (D, C, B, A) we have a double groupoid (as defined algebraically in the preceding subsection)

G A ⇉ G C G B ⇉ G D .
Remark 4.2. Small n-fold categories are defined and characterized in the same way, just by forgetting the inversion maps.

Remark 4.3. Here, the total set of the hypercube is n. But one may define in the same way n-fold groupoids with any total set N ⊂ N such that |N| = n, and then use the notation G A;N for the vertex sets and α B,A;N etc. for the edge projections.

The proof of the theorem, by induction, is straightforward (see [START_REF] Bertram | Conceptual Differential Calculus. II : Cubic higher order calculus[END_REF], Th. B.2).

To illustrate, say, the induction step from n = 3 to n + 1 = 4, consider Figure 3 showing a tesseract (4-cube). In the figure, vertices are labelled by ij, to abbreviate {i, j}, etc. Let us call a vertex A

old if n + 1 / ∈ A, new if n + 1 ∈ A; then A = B ∪ {n + 1}
, where B is an "old" vertex.

The old vertices form a 3-cube (on the left), and so do the new vertices (right). Now, the proof of the theorem consists, essentially, in contemplating this figure. The result is likely to be folklore among specialists in higher category theory. However, [START_REF] Fiore | A Thomason model structure on the category of small n-fold categories[END_REF] is the only reference I was able to find. The approach to Lie theory pursued in [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF], strongly motivated by the theory of product preserving functors from [START_REF] Kolar | Natural Operations in Differential Geometry[END_REF], starts by the classical remark that, if (L, m, i, 1) is a Lie group, then so is its tangent bundle (T L, T m, T i, T 1), with group laws the tangent maps of the group laws m, i of L and unit T 1 = 0 1 , the zero vector in the tangent space T 1 L. More generally:

Lemma 5.1. Assume F is a product preserving functor, i.e., a functor commuting with cartesian products in the sense that always F (A × B) = F (A) × F (B). Then, if (G, m, 1) is a group, so is (F G, F m, F 1), and if (K, a, m, 0, 1) is a unital ring (with addition map a and multiplication map m), then so is (F K, F a, F m, F 0, F 1).

Proof. Write the defining properties of a group, resp. of a ring, as commutative diagrams, involving structure maps, cartesian products and diagonal imbeddings.

Applying F to such a diagram yields a diagram of the same form, and hence a structure of the same kind. (Cf. [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF][START_REF] Kolar | Natural Operations in Differential Geometry[END_REF] for explicit forms of such diagrams and for more examples of such functors, besides the tangent functor T .) 5.2. From groupoids to double groupoids. The preceding lemma also applies to groupoids, taking for F a functor {1} t which is product preserving. Now, the new feature is that each functor {1} t takes itself values in groupoids (and not only in sets without specified structure), which implies that {1} t , applied to a groupoid, gives us a double groupoid:

Theorem 5.2. Let L = (L 1 , L 0 ) be a Lie groupoid. Then, applying the derivation symbol {1}, resp. {1} t for fixed t ∈ K, we get a double groupoid

L {1} 1 ⇉ L {1} 0 L 1 × K ⇉ L 0 × K, resp. (L 1 ) t ⇉ (L 0 ) t L 1 ⇉ L 0 .
Proof. In both diagrams, the vertical double arrows stand for the groupoid structures given by Theorem 2.4 (let us denote by • its groupoid product), and the upper level horizontal double arrows come from applying our functor {1}, resp. {1} t , to the structure maps of L appearing in the corresponding place of the lower level horizontal arrows. According to Theorem 2.8, such horizontal pairs are morphisms of the vertical groupoids. The lower horizontal edges are groupoids since L is, by assumption, a groupoid. Let us prove that the upper horizontal edges also describe groupoids: as explained in Lemma 5.1, for each fixed t ∈ K, it suffices to show that {1} t is a product preserving functor: indeed,

(U × U ′ ) t = (x, x ′ , v, v ′ ) ∈ (U × U ′ ) × (V × V ′ ) | (x, x ′ ) + t(v, v ′ ) ∈ U × U ′ = (x, x ′ , v, v ′ ) ∈ U × U ′ × V × V ′ | x + tv ∈ U, x ′ + tv ′ ∈ U ′ ∼ = (x, v) ∈ U × V | x + tv ∈ U × (x ′ , v ′ ) ∈ U ′ × V ′ | x ′ + tv ′ ∈ U ′ = U t × U ′ t
Thus, by the lemma, on the top line we have a groupoid with product * {1} , source projection α {1} , etc. Moreover, for any map f , the vertical projections intertwine f {1} and f × id K , which means that vertical pairs of projections are groupoid morphisms. Finally, taking * for f , from

f {1} (a • b) = f {1} (a) • f {1} (b), we get that * {1}
is a morphism for •, i.e., the interchange law holds.

Remark 5.1. Please note that the functor {1} t is product preserving only for fixed t (which is all we need to prove the preceding theorem). The functor {1} is not product preserving, but satisfies the rule (A

× C B) {1} = A {1} × C {1} B {1}
, which is the good one to generalize Lemma 5.1 to groupoids (cf. [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF]).

Remark 5.2. When t is invertible, Theorem 2.5 implies that L t is isomorphic to the double groupoid PG(L) (see Example 4.1).

Example 5.1. If L is a Lie group, that is, L 0 = 1, L 1 = L, we get double groupoids

L {1} → K id ↓ L × K → K, resp. L t → 1 id ↓ L → 1.
Indeed, this is a degenerate case: L 0 = 1, and 1 {1} = K is a trivial groupoid.

5.3.

From n-fold groupoids to (n + 1)-fold groupoids. By the same principles:

Definition 5.3. An n-fold Lie groupoid is an n-fold groupoid (L A ) A∈P(n) such that, for each edge (B, A) of the natural hypercube, the edge groupoid (L A , L B ) carries a structure of Lie groupoid.

Theorem 5.4. Assume L = (L A ) A∈P(n) is an n-fold Lie groupoid. Then, applying the derivation symbol {n + 1}, resp. {n + 1} t for fixed t ∈ K, we get an (n + 1)-fold groupoid G = (G A ) A∈P(n+1) given by the families of vertex sets:

G A = (L A ) {n+1} if A ⊂ n, L B × K if A = B ∪ {n + 1}, resp. G A = (L A ) t if A ⊂ n, L B if A = B ∪ {n + 1}.
Proof. One uses language from the proof of Theorem 4.4 and arguments as in the proof of Theorem 5.2: the "old" vertices and their edges form an n-fold groupoid, a copy of the one we started with, L. The "new" vertices and their edges form another n-fold groupoid, obtained from the old one by applying the functor {n + 1}, resp. the product-preserving functor {n + 1} t . Each edge joining an old vertex B and a new vertex A = B ∪ {n + 1} defines a groupoid of the form given by th. 2.4. Each face defines a double groupoid, by the arguments given in the proof of Theorem 5.2.

Definition 5.5. The (n+1)-fold groupoid G obtained from an n-fold Lie groupoid L as in the theorem, will be called the derived higher groupoid and denoted by L {n+1} , resp. by L {n+1} t .

Remark 5.3 (Why the order matters). In the same way, we could "derive" an n-fold Lie groupoid L = (L A ) A∈P(N ) with N ⊂ N, to get an (n + 1)-fold Lie groupoid G = (G A ) A∈P(N ′ ) , where N ′ = N ∪ {k} with k > j for all j ∈ N. (Without this last condition the procedure would depend on the choice of k in an essential way, and hence would not be well-defined!)

Higher order calculus

Now we are ready to iterate n-times the two functors {1} and {1} t (for fixed t) from first order calculus. Both iterations give us, by the general principles developed so far, n-fold groupoids, denoted by M n ("first construction": full cubic), resp. M n t for t ∈ K n fixed ("second construction": symmetric cubic). Although the general principles are the same for both constructions, it turns out that understanding the structure of the full cubic M n is far more difficult than understanding the structure of the symmetric cubic M n t . In the latter case, M n t can be understood as scalar extension of M from K to the ring K n t , whose structure is fairly transparent, and quite close to the higher order tangent rings T n K used in [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF].

6.1. Full cubic versus symmetric cubic. Recall from def. 2.2 the setting of topological calculus, the definition of the class C n K and of the higher order slopes f [n] defined on the domain U [n] . Note that, if U is open in V , then U [1] is open in V 2 × K, whence by induction, U [n] is open in V 2 n × K 2 n -1 . More conceptually, this kind of definition gives us the double groupoids U {1,2} = (U {1} ) {2} , etc. (recall notation from Def. 2.11). The following result is purely algebraic; no topology is used: Theorem 6.1. Assume U is a non-empty subset of the K-module V .

(1) By induction, the following defines n-fold groupoids:

U n = U {1,...,n} := ((U {1} ) {2} . . .) {n} , U n fin = U {1,...,n} fin := ((U {1} fin ) {2} fin . . .)
{n} fin , (2) for each t = (t 1 , . . . , t n ) ∈ K n , the following defines an n-fold groupoid:

U n t := (U {1} t 1 ) {2} t 2 . . .) {n} tn .
The top vertex set of U n agrees with the n-th order extended domain U [n] :

U n;n = U [n] .
Every map f : U → U ′ induces morphisms of n-fold groupoids

f n fin := ((f {1} fin ) {2} fin . . .) {n} fin : U n fin → (U ′ ) n fin , f n t := ((f t 1 ) t 2 . . .) tn : U n t → (U ′ ) n
t , the latter under the condition that ∀i = 1, . . . , n: t i ∈ K × .

Proof. Proceeding by induction, one uses exactly the same arguments as in the proof of theorems 5.2 and 5.4. To describe the top vertex set by induction, note that U {1} = (U [1] , U × K) has U [1] as top vertex set, so U {2} has (U [1] ) [1] = U [2] as top vertex set, and so on. (Recall that the explicit formulae for these things may be quite complicated: cf. eqn. (4.1).) Theorem 6.2 (Full cubic C n ). Let K be a good topological ring, V, W topological K-modules, U ⊂ V open and f : U → W a map. Then the following are equivalent:

(1)

f is of class C n K , (2) the morphism f n fin extends to a continuous morphism f n : U n → W n . For every Hausdorff manifold M of class C n K , there is an n-fold groupoid M n such that, when M = U is open in V , M n is the n-fold groupoid from Theorem 6.1.
Proof. Equivalence of (1) and (2) follows by induction from Theorem 2.9, and existence of M n follows, by the same principles, from Theorem 6.1. Definition 6.3. For any smooth Hausdorff manifold over K, we call the n-fold groupoid M n = (M A;n ) A∈P(n) the n-fold tangent groupoid of M, or the n-fold magnification of M. Note that each vertex set M A;n is again a smooth manifold. Theorem 6.4 (Symmetric cubic C n ). Retain assumptions from the preceding theorem, and fix t ∈ K n . Then for every Hausdorff manifold of class C n there is an n-fold groupoid M n t over M such that,

• when M = U is open in V , M n
t is the n-fold groupoid from Theorem 6.1, • when t = (0, . . . , 0), M n t agrees with the n-fold tangent bundle T n M,

• when t ∈ (K × ) n , then M n t is isomorphic to the n-fold pair groupoid PG n (M). Every C n -map f : M → N induces a morphism of n-fold groupoids f n t : M n t → N n t . Proof.
As above, by induction, using Theorem 2.5.

A major difference between full cubic and symmetric cubic is that, in the latter case, we have the following result (which fails in the full cubic case!) Theorem 6.5 (The generalized Schwarz Theorem). For every permutation σ ∈ S n , there is a natural isomorphism of n-fold groupoids U n (t 1 ,...,tn) → U n (t σ(1) ,...,t σ(n) ) , inducing, for every Hausdorff K-manifold M, a natural isomorphism σ : M n (t 1 ,...,tn) → M n (t σ(1) ,...,t σ(n) ) .

In particular, when t = (t, . . . , t) with t ∈ K, the symmetric group S n acts by automorphisms on M n t (by definition, this means that M n t is edge-symmetric). For t = 0, this action induces the natural action of S n on T n M, as considered in [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF], and corresponding to the classical Schwarz's theorem.

Proof. For n = 2, the symmetric iteration procedure is related to the "full" iteration procedure by letting t 12 = 0 in equation (4.1). Thus we get

U [2] (t 1 ,t 2 ) = (v 0 , v 1 , v 2 , v 12 ) ∈ V 4 | v 0 ∈ U, v 0 + t 1 v 1 ∈ U, v 0 + t 2 v 2 ∈ U, v 0 + t 1 v 1 + t 2 v 2 + t 1 t 2 v 12 ∈ U , f [2] (v, t 1 , t 2 ) = f (v 0 + t 1 v 1 + t 2 v 2 + t 1 t 2 v 12 ) -f (v 0 + t 1 v 1 ) -f (v 0 + t 2 v 2 ) + f (v 0 ) t 1 t 2 .
(In the latter formula, we assume that t 1 and t 2 are invertible scalars; see [START_REF] Bertram | Conceptual Differential Calculus. II : Cubic higher order calculus[END_REF] for a similar formula for f [n] (v, t) with general n ∈ N). From these formulae, it is immediately read off that the flip induced by the transposition ( 12) is an automorphism from U 2 (t 1 ,t 2 ) onto U 2 (t 2 ,t 1 ) commuting with f 2 . By the "density principe" 2.3, this still holds for all t 1 , t 2 ∈ K, and by the chain rule, it carryies over to the manifold level. For general n, the claim now follows by straightforward induction. Finally, note that the above proof is nothing but the proof of Schwarz's Theorem from [START_REF] Bertram | Differential Calculus over general base fields and rings[END_REF], in disguise.

Comparing with the "full" formula (4.1), one sees that the full double groupoid U {2} is not edge symmetric, and that its explicit description may become quite messy. In the sequel, we will have a closer look at symmetric cubic calculus. 6.2. The scalar extension viewpoint. For understanding the structure of symmetric cubic calculus, it is extremely useful to view M n t as the scalar extension of M from K to K t . Again, the starting point is Lemma 5.1: Lemma 6.6. Applying the functor {1} t to the ring (K, +, •, 0, 1), we get a commutative unital ring K 1 t , together with two ring morphisms onto K. This ring is isomorphic to the truncated polynomial ring K[X]/(X 2 -tX) with its two natural projections onto

K = K[X]/(X) and K = K[X]/(X -t).
Proof. The first statement follows from Lemma 5.1. To get the "model", denote multiplication by m : K × K → K, (x, y) → xy, and let's compute m {1} explicitly:

(6.1) m [1] ((x, y), (u, v), t) = (x + tu)(y + tv) -xy t = uy + xv + tuv,
and for the addition map:

a [1] ((x, y), (u, v), t) = (x+tu)+(y+tv)-(x+y) t = u + v, whence K t = K 2 with
multiplication and addition given by (x, u)•(y, v) = (xy, xv+uy+tuv) and (x, u) + (y, v) = (x + y, u + v). Put differently, (6.2)

K t = K 2 = K1 ⊕ Ke, e 2 = te, whence K t ∼ = K[X]/(X 2 -tX).
By general argments, or by direct computation, it may be proved that the source α(u + ev) = u and the target β(u + ev) = u + tv and the unit map 1(x) = x + 0e are indeed ring homomorphisms.

with its natural projections and injections. Note that there is a natural ring isomorpism, the flip, exchanging X 1 and X 2 and t 1 and t 2 (as predicted by Th. 6.5)

τ : K ⊕ Ke 1 ⊕ Ke 2 ⊕ Ke 12 → K ⊕ Ke 1 ⊕ Ke 2 ⊕ Ke 12 , τ (e 1 ) = e 2 , τ (e 2 ) = e 1
For general n, we get a hypercube of rings and ring homomorphisms that can be described by a K-basis (e A ) A∈P(n) , and relations as follows: for each t ∈ K n and

A ∈ P(n), let t A := i∈A t i , t ∅ := 1.
For a vertex C of the natural hypercube P(n), we define K C;n t to be the free Kmodule of rank 2 |C| , with K-basis (e A ) A∈P(C) , and ring structure defined by relations

K C;n t = A∈P(C) Ke A , e A • e B = t A∩B • e A∪B (in particular, e A • e B = e A∪B if A ∪ B = ∅).
Source and target maps corresponding to an edge B ⊂ C with C = B ∪ {k} are defined by α, β :

K C;n t → K B;n t , where α( A⊂C v A e A ) = A⊂B v A e A , β( A⊂C v A e A ) = A⊂B v A e A + t k A⊂B v A∪{k} e A∪{k} .
Then the hypercube of rings (K C;n t ) C∈P(n) with its source and target morphisms arises by n-fold iteration of the construction from Lemma 6.6. There is also a hypercube of natural inclusions (the unit sections from the groupoid setting), since an inclusion C ⊂ D induces an inclusion P(C) ⊂ P(D). The following special cases deserve attention: if t i = 1 for all i, we get the idempotent ring with relation e A • e B = e A∪B for all A, B ∈ P(C), which in fact is isomorphic to a direct product of 2 |C| copies of K. In the "most degenerate" case t i = 0 for all i, we get the n-th order tangent ring T n K used extensively in [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF][START_REF] Bertram | A general construction of Weil functors[END_REF], with relation e A • e B = 0 whenever A ∩ B = ∅. This is a hypercube of Weil algebras in the sense of [START_REF] Kolar | Natural Operations in Differential Geometry[END_REF][START_REF] Bertram | A general construction of Weil functors[END_REF] (the ideal, kernel of α or β, is nilpotent), whereas for invertible t i the algebras are never Weil algebras. Therefore we propose the following concept, replacing the notion of Weil algebra in our context: Definition 6.7. A cubic ring (of order n) A is given by a family of rings and ring morphisms: for each vertex A of the hypercube P(n), there is a (unital, commutative) ring ("vertex ring") A A , and, for every edge (B, A) of the hypercube, two ring morphisms ("edge projections") α B,A , β B,A : A A ⇉ A B , and a ring morphism section 1 A,B : A B → A B of both of them, such that for each face of the hypercube, the obvious diagrams of morphisms commute.

The preceding discussion is summarized by Theorem 6.8. If (K, m, a) is a good topological ring and t ∈ K n , then A := K t := (K A,n t ) A∈P(n) is a cubic ring. Every vertex ring is again a good topological ring. One may say that the accent is shifted from an individual algebraic property (nilpotency of the ideal) to a "social" property of algebras: algebras live in families structured by cubes; ideals live in families of two kinds (source and target kernels) and parametrized by continuous parameters t. Moreover, this family carries the structure of an n-fold groupoid, which is not mentioned in the definition of cubic ring. The following "main theorem" says that this rich social structure encodes general structure of "conceptual calculus on manifolds": the groupoids M n t can be interpreted as scalar extensions of M from K to K n t . Theorem 6.9 (The scalar extension theorem). If M is a smooth Hausdorff manifold over the good topological ring K, then, for all n ∈ N, t ∈ K n and A ∈ P(n), the manifold M A;n t is smooth over the ring K A;n t , and if f : M → N is smooth over K, then f A;n t is smooth over the ring K A;n t . Proof. The arguments, again by induction based on Lemma 5.1, are verbatim the same as those proving [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF], Theorems 6.2 and 7.2 (which concern the case t = (0, . . . , 0) and M n;n 0 = T n M, the n-th order tangent bundle). 6.3. Consequences. The preceding theorem is a central result: as said in the introduction to [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF], that work arose from working out all consequences of Theorems 6.2 and 7.2 from loc. cit. In a similar way, the consequences of Theorem 6.9 might also fill a whole book. Therefore I will stop here a description of the formal theory, and try instead to give an overview over some topics that could be part of the contents of that book. The main strands of [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF], approached via the scalar extension point of view, and interwoven with each other, are connection theory and Lie theory. I will give some comments on these two topics, from the point of view of "Lie calculus" as advocated here. Before doing so, I'd like to stress once again that the theory will cover both the infinitesimal and the local, or even global, description differential geometric objects. This is new even in the classical setting of real, finite-dimensional manifolds: the object encoding infinitesimal geometry, the tangent bundle T M, and the one encoding local or global information, the pair groupoid PG(M), are both classical, but -apart from Connes' tangent groupoid (cf. comments on def. 2.6) -there has been no theory putting them into a common framework. 6.3.1. Lie Theory. The heart of Lie Theory is the Lie group-Lie algebra correspondence. In [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF], several independent definitions of the Lie bracket of a Lie group G are given: one may start with the Lie bracket of vector fields, and use it to define the Lie algebra g via left-or right invariant vector fields, or go the other way round and define the Lie bracket via a group commutator [g, h] = ghg -1 h -1 in the second tangent group T T G. In both cases, the stage is set by second order calculus: at first order, we do not yet "see" the group structure of G, but only its first approximation which is in fact given by the canonical groupoid law of the underlying space. To prove the Jacobi identity, computations involve third order calculus. In [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF], this is pushed further to analyze the group structure of all higher order tangent bundles T n G (see also [V13] for the structure of the jet bundle J n G).

To a large extent, all this perfectly carries over to the groups T n G replaced by G n t . One of the main ingredients from the infinitesimal theory, the vertical bundle V M sitting inside T T M and forming a sequence (cf. [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF], eqn. (7.8)) (6.4)

T M ∼ = V M → T T M → (T M × M T M) ,
is generalized and "conceptualized" by the core structure: the core of a double groupoid (cf. [START_REF] Brown | Determination of a double Lie groupoid by its core diagram[END_REF]) has a higher dimensional analog which has a nice description in terms of our cubic rings K n t : Definition 6.10.

I C B (K n ) := A∈P C B (n) Ke A .
For fixed B, the corresponding B-core cube is the cubic ring

(K ⊕ I C B (K n )) C∈P n B (n) .
The core cubes globalize to the manifold level, and thus define analogs of the sequence (6.4), which can be used as ingredient to define a version of the Lie bracket on the bundles G n t . Of course, it shall also be used to give a general and clean construction of the Lie algebroid of a Lie groupoid in the present context (cf. [START_REF] Schmeding | The Lie group of bisections of a Lie groupoid[END_REF] for this item). 6.3.2. Connections. Lie theory can be considered as part of connection theory -but the converse could probably be justified as well, and therefore I prefer to discuss these two topics independently of each other. Indeed, there is a beautiful, but not very well known, approach to connections via loop theory, developed by L. Sabinin in a long series of papers (cf. his monograph [START_REF] Sabinin | Smooth Quasigroups and Loops[END_REF]). This theory is algebraic in nature, and hence perfectly suited to be adapted to our framework. As Sabinin puts it (loc. cit., p. 5): Since we have reformulated the notion of an affine connection in a purely algebraic language, it is possible now to treat such a construction over any field (finite if desired)... Naturally, the complete construction needs some non-ordinary calculus to be elaborated. I do think that the non-ordinary calculus he dreamt of exists now, and that nothing prevents us from following the plan outlined by this phrase. Indeed, I have been working on this topic for quite a while, and mainly for reasons of time the manuscript is not yet achieved. To describe Sabinin's idea in a few words, adapted to the preceding notation: when working with groupoids, one sometimes regrets that the product * is not everywhere defined, and one would like to work with some everywhere defined product. This is essentially what a connection on a groupoid provides -you just have to give up associativity! To be more precise, a connection on a groupoid G corresponds to an everywhere defined ternary product (a, b, c) → a • b c on G extending, or "integrating", the not everywhere defined ternary groupoid product a * b -1 * c, such that each binary product (a

, c) → a • b c is a loop. Indeed, when M = U is open in a linear space V , then on G = U {1} t
there is a natural ternary product of this kind, given by the locally defined torsor structure (x, v)

• (x ′ ,v ′ ) (x ′′ , v ′′ ) = (x -x ′ + x ′′ , v -v ′ + v ′′ ).
It corresponds to the canonical flat connection induced by V . This approach is very much in keeping with the one from Synthetic Differential Geometry ([Ko10]), where connections on groupoids are defined in a similar way (retaining only the infinitesimal, not the local, information). For instance, if G is a Lie group, then the globally defined torsor structure, and its opposite, on G 2 define two such connections, called the canonical left and right connection of G. Lie theory can be recast in this language: associativity corresponds to curvature freeness of these two connections, and so on. I believe that this algebraic approach not only is the most general possible, but also sheds new light on the geometry of loops (in particular, their close link with 3-webs, see [AkS92, NS02, Sa99]).5

Perspectives

The preceding remarks on Lie and Connection Theory naturally lead to add some more comments on open problems and further research topics. 7.1. Discrete versus continuous. In the present text, basic definitions and results are given in the framework of topological calculus over good topological rings (Def. 2.2), thus using topology and continuity, whereas in [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF][START_REF] Bertram | Conceptual Differential Calculus. II : Cubic higher order calculus[END_REF], I have put the accent on the possibility of developing the whole theory over discrete base rings, that is, of developing a purely algebraic theory, applying, e.g., to K = Z, or even a finite ring. Although I'm afraid the readability of these papers has suffered a bit under this extreme degree of generality, I do believe that in the long run this is an important aspect: quantum theory suggests that the universe be discrete in nature, and hence we would like to understand how calculus (one of our main tools when doing mathematical physics!) could be adapted to this situation. The basic idea is very simple: just like, in algebra, a polynomial is a formal object, a "space over K" will be a formal object, too, not necessarily uniquely determined by its base set M, but rather by the whole bunch of information carried along by all its "extensions" M n t for n ∈ N, satisfying all the formal relations explained in this text. Likewise, a "K-smooth map" between such objects is not necessarily determined by its underlying set-map f : M → M ′ , but by all its extensions f n t . In topological differential calculus, the use of topology serves to store all this information in the base space M and in the base map f -necessarily, we need an infinite ring (and an infinite unit group K × ) in order to extract this information, via the "density principle" 2.3. In the purely algebraic theory, this infinite information is explicitly given in an "attached file", allowing the base objects M and f to be possibly finite.

To a certain extent, this approach works very well, but of course it has its limits. These limits, in turn, may be starting points for new problems and new challenges: for instance, we must first understand the formal properties of the local connections defined by Sabinin (see above, 6.3.2); geodesics and the exponential jet ([Be08], Chapter VI) cannot be defined by integrating differential equations, so we have to understand their formal structure; and it is quite a challenge to reformulate notions and results involving volume: volume is a local or global property, which can make sense in a discrete space, but it is not clear how this should be related to the infinitesimal theory. 7.2. Full cubic calculus, positive characteristics, and the scaloid. Understanding the relation between "full cubic" and "symmetric cubic" calculus (Section 6.1) becomes particularly important in the case of positive characteristic, and for finite base rings. This can be seen by remembering that the classical Taylor formula involves terms 1 k! , and hence does not carry over to the case of positive characteristic. However, the general Taylor formula from [START_REF] Bertram | Differential Calculus over general base fields and rings[END_REF] does make sense over any base ring. A closer inspection shows that this formula really belongs to full cubic calculus, and more precisely to the "non-symmetric" aspect of full calculus, which has been christianed in [START_REF] Bertram | Simplicial differential calculus, divided differences, and construction of Weil functors[END_REF] simplicial differential calculus. Thus, although symmetric cubic calculus can be defined over any base ring, it is sort of "incomplete" in certain cases (such as finite rings). I believe that understanding what is going on here is important also for the general case.

Fortunately, all the specific difficulties of full cubic calculus concentrate in a single algebraic object, the scaloid (cf. [START_REF] Bertram | Conceptual Differential Calculus. II : Cubic higher order calculus[END_REF]): let us call naked point and denote by 0 the zero-subspace of the zero-K-module {0}. By definition, the scaloid is the family of n-fold groupoids 0 n , for n ∈ N. One should not think that 0 n be trivial: already 0 [1] = K is not a trivial set, although 0 1 = (0 [1] , K) = (K, K) is indeed trivial as a groupoid. But 0 2 is a non-trivial gropoid, and this argument shows that the theory of 0 n and of K n-1 is essentially the same. The abstract reason for the importance of 0 n is that usual cartesian products should be seen as fibered product over 0, in formulas, A × B = A × 0 B, and our "rule n" is compatible with fibered products, rather than with plain cartesian products: (A × M B) n = A n × M n B n , making it natural that 0 n appears whenever we work with cartesian products. Personally, I like to think of the scaloid as some kind of "elementary particle" that remained unobserved in the usual theories -such theories are symmetric cubic in nature, and the symmetric cubic groupoid 0 n t is indeed trivial as set and as groupoid.

7.3. General spaces, and relation with SDG. In [START_REF] Moerdijk | Models for Smooth Infinitesimal Analysis[END_REF], p. 1-3, Moerdijk and Ryes give three main reasons for generalizing the "ordinary" theory by Synthetic Differential Geometry (SDG) (cf. also [START_REF] Bertram | Differential Geometry, Lie Groups and Symmetric Spaces over General Base Fields and Rings[END_REF], Appendix G):

(1) the category of smooth manifolds is not cartesian closed (spaces of mappings between manifolds are not always manifolds), (2) the lack of finite inverse limits in the category of manifolds (in particular, manifolds can not have "singularities"), (3) the absence of a convenient language to deal explicitly and directly with structures in the "infinitely small". I claim that the theory started here allows to achieve the same goals by different means, and this in much greater generality since models of SDG all use the real numbers in one way or another, whereas our theory does not use them. Indeed, a natural answer to (3) is given by the scalar extension viewpoint explained above; as to (1) and (2), we have to go beyond the framework of smooth manifolds. In our theory, there is a natural way to do this: kernels of morphisms of higher order groupoids M n , and quotients of them, are again higher order groupoids, and hence one may single out some convenient (big) category of such higher order groupoids in order to describe more general "spaces". Such a procedure remains in the framework of classical algebra and classical set-theory, whereas SDG tries to achieve these goals by very different methods (topos theory, using intuitionistic logic and avoiding the law of the excluded third). However, it seems very well possible to combine the methods used here with those used in SDG in order to develop some kind of "SDG over general base fields and -rings". 7.4. Non-commutative base rings, supersymmetry; left versus right. It is intriguing to observe that the first order theory works perfectly well over arbitrary, possibly non-commutative base rings K; only at second and higher order level, commutativity of K is needed (cf. [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF]). So, what exactly is the obstruction for defining "conceptual calculus over non-commutative base rings"? I don't know the answer, and very likely there is no theory admitting completely general noncommutative base rings. However, I have the impression that super-commutative rings should be admissible: there should be a common framework including both "conceptual super-calculus" and "conceptual calculus". However, in spite of several tries, I'm not yet sure about the form that such a theory should take. My feeling is that super-calculus should arise from taking account of the fact that the definition of a groupoid is completely symmetric in source α and target β: a groupoid and its opposite groupoid have, in principle, "equal status". To a certain extent, conceptual calculus is also symmetric in source α and target β. And yet this symmetry must be broken at a certain point -it is not quite clear when this point is reached, but it should be the bifurcation point where "usual" and "super" calculus separate. Of course, our formulae somehow "prefer" the source α (having a very simple expression, whereas the one for β in cubic calculus is extremely complicated; cf. [START_REF] Bertram | Conceptual Differential Calculus. I : First order local linear algebra[END_REF]), but that may be some accidental and not intrinsic feature. It rather seems to me that this symmetry is not broken until we really use mappings as a tool, and work with the "usual" conventions about them: they are binary relations having certain properties, and which their opposite relations do in general not have

Figure 1 .

 1 Figure 1. Representation of a groupoid

Figure 2 .

 2 Figure 2. Tangent groupoid

Example 4. 2 (

 2 Double groups). A double group is a double groupoid of the formG 11 ⇉ 1 1 ⇉ 1 that is, a set G = G11 with a single unit 1 and two group laws * and • satisfying the interchange law. We infer a * b = (a • 1) * (1 • b) = (a * 1) • (1 * b) = a • b, whence * = •, and now the interchange law implies that the group must be commutative.

Figure 3 .

 3 Figure 3. A tesseract by assembling two cubes

  For subsets ∅ = B ⊂ C ⊂ n, consider the (|C| -|B|)-hypercube P C B (n) := {A ∈ P(n) | B ⊂ A ⊂ C} which corresponds to the hypercube of ideals in the vertex algebra K C,n t given by

  3.2. Lie groups and Lie groupoids. Definition 3.2. A Lie group is a group (G, e, •) together with a manifold structure such that the group law • and inversion are differentiable. A Lie groupoid is a groupoid G = (G 1 , G 0 , α, β, 1, * , i) together with manifold structures on G 1 , G 0 and on G 1 × α,β G 0 such that all structure maps α, β, 1, * , i are differentiable.4 Theorem 3.3. Let U open in V and t ∈ K. Then U {1} and U

	Likewise, if M is a Hausdorff manifold, M {1} and M t {1}	{1} t are Lie groupoids. are Lie groupoids.

There is no really standard terminolgy: other terms are heap, groud, principal homogeneous space... Using the term "torsor" in our sense has been popularized by John Baez.

This terminology follows Connes[START_REF] Connes | Noncommative Geometry[END_REF], Section II.5, where in case K = R and for t ∈ [0, 1] the tangent groupoid is defined by a disjoint union T U ∪ (PG(U ))×]0, 1].

We follow here the pattern of the general definition given in the n-lab, https://ncatlab.org/nlab/show/Lie+groupoid.Of course, under suitable assumptions some conditions may be weakened, e.g., in[START_REF] Mackenzie | General Theory of Lie Groupoids and Lie Algebroids[END_REF], def. 1.1.3, it is required that α, β be submersions, which in the real finite dimensional case implies that that G 1 × α,β G 0 is a manifold. In our setting, this implication does in general not hold.

To add a personal note, I met Karl Strambach for the last time on the 50th Seminar Sophus Lie, when exposing these projects, and he was quite delighted by the idea that these seemingly forgotten conceptions relating loops and differential geometry could be revived.

Note also that, as rings, in the special cases t = 0 and t = 1, we get

Again, we can iterate constructions by induction. The elements t and e from above will be denoted t 1 and e 1 , and next we adjoin another element e 2 such that e 2 2 = t 2 e 2 . This gives us a square of rings and (pairs of) ring homomorphisms

with relations e 2 1 = t 1 e 1 , e 2 2 = t 2 e 2 , e 12 = e 1 e 2 , whence e 2 12 = t 1 t 2 e 12 . In terms of truncated polynomial rings, the preceding diagram is isomorphic to

(cf. example 1.6). Thus the symmetry might possibly be restored by working with general binary relations, instead of mappings: calculus and super-calculus might be different aspects of a single "relational calculus". This may be less crazy than it sounds: it just would mean to take the groupoid point of view seriously.