We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids). Keywords: (conceptual, topological) differential calculus, groupoids, higher algebra($n$-fold groupoids), Lie group, Lie groupoid, tangent groupoid, cubes of rings

In 1994, Long and Moody gave a construction on representations of braid groups which associates a representation of Bn with a representation of Bn+1. In this paper, we prove that this construction is functorial: it gives an endofunctor, called the Long-Moody functor, between the category of functors from the homogeneous category associated with the braid groupoid to a module category. Then we study the effect of the Long-Moody functor on strong polynomial functors: we prove that it increases by one the degree of strong polynomiality.

We propose an analogue of the bounded derived category for an augmented ring spectrum, defined in terms of a generalized Noether normalization. Under various assumptions we give intrinsic characterizations of the category we obtain, proving that, under Gorenstein hypotheses (applying for example to C^*(BG) for a compact Lie group G), it is independent of the chosen normalization. Based on this we introduce singularity and cosingularity categories measuring the failure of regularity and coregularity as well as proving a Koszul duality statement relating them. A special case is the BGG equivalence D_sg(Exterior (t_0, ..., t_n))=D^b(P^n). Numerous examples from algebra, modular representation theory and homotopy theory illustrate the various phenomena considered.

We prove a Structure Identity Principle for theories defined on types of $h$-level 3 by defining a general notion of saturation for a large class of structures definable in the Univalent Foundations.