Related papers: On the canonical formula of C. Levi-Strauss
This is an attempt at applied mathematics, a sequel to arXiv:math/0306174. It suggests a particular model for the application in question, based on the binary octahedral group.
Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable.…
Structural approaches to myth and narrative are compelling in close reading but hard to compare across traditions, media, and scale. We propose a formal framework that renders L\'evi-Straussian transformation as mathematics while remaining…
It is commonly believed that algebraic notions of type theory support only universes \`a la Tarski, and that universes \`a la Russell must be removed by elaboration. We clarify the state of affairs, recalling the details of Cartmell's…
Let $\mathfrak{g}$ be a semisimple complex Lie algebra. Recently, Lusztig simplified the traditional construction of the corresponding Chevalley groups (of adjoint type) using the "canonical basis" of the adjoint representation…
For a Lie algebroid, divergences chosen in a classical way lead to a uniquely defined homology theory. They define also, in a natural way, modular classes of certain Lie algebroid morphisms. This approach, applied for the anchor map,…
This paper challenges some of the common assumptions underlying the mathematics used to describe the physical world. We start by reviewing many of the assumptions underlying the concepts of real, physical, rigid bodies and the translational…
The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity (or impredicativity) of second and higher order…
The way Leibniz applied his philosophy to mathematics has been the subject of longstanding debates. A key piece of evidence is his letter to Masson on bodies. We offer an interpretation of this often misunderstood text, dealing with the…
Bishop's informal set theory is briefly discussed and compared to Lawvere's Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version of ETCS, whose standard model is based on the constructive…
The mathematical analysis was conceived in XVII century in Newton and Leibniz works. The problem of logical rigor in definitions was considered by Arnauld and Nicole in "Logique ou l'art de penser". They were the first, who distinguished…
Leibniz entertained various conceptions of infinitesimals, considering them sometimes as ideal things and other times as fictions. But in both cases, he compares infinitesimals favorably to imaginary roots. We agree with the majority of…
In this paper we offer a reconstruction of the evolution of Leibniz's thought concerning the problem of the infinite divisibility of bodies, the tension between actuality, unassignability and syncategorematicity, and the closely related…
The canonical structure of theories whose Lagrangian contains higher powers of time derivatives is often obscured by the nonlinear relationship between the velocities and momenta. We use the Dirac formalism and define a generalized Legendre…
The rather unintuitive nature of quantum theory has led numerous people to develop sets of (physically motivated) principles that can be used to derive quantum mechanics from the ground up, in order to better understand where the structure…
Finite group theorists have established many formulas that express interesting properties of a finite group in terms of sums of characters of the group. An obstacle to applying these formulas is lack of control over the dimensions of…
This paper explores relations between two separate worlds. They are the algebraic geometry of Alexander Grothendieck and the automorphic representation theory of Robert Langlands. The relation between them would be a very broad example of…
A non-uniqueness result for the canonical structure in quantum theory shows that the classical part of the Copenhagen interpretation contains physically important information not contained in its quantum part. As a consequence, we cannot…
While many inner model theoretic combinatorial principles are incompatible with large cardinal axioms, on some rare occasions, large cardinals actually imply that the structure of the universe of sets is analogous to the canonical inner…
We discuss the history of the monodromy theorem, starting from Weierstra\ss, and the concept of monodromy group. From this viewpoint we compare then the Weierstra\ss , the Legendre and other normal forms for elliptic curves, explaining…