Related papers: Recovering unitary calculus from calculus with rea…
In this paper, we use differential forms to prove a number of theorems of integral vector calculus that are rarely found in textbooks. Two of them, as far as the author knows, have not been published before. Some possible applications to…
We present the basic theory of calculus on dual real numbers, and prove the counterpart of the ordinary fundamental theorem of calculus in the context of dual real numbers.
A very small amount of K\"ahler algebra (i.e. Clifford algebra of differential forms) in the real plane makes x + ydxdy emerge as a factor between the differentials of the Cartesian and polar coordinates, largely replacing the concept of…
Recent work of Biedermann and R\"ondigs has translated Goodwillie's calculus of functors into the language of model categories. Their work focuses on symmetric multilinear functors and the derivative appears only briefly. In this paper we…
Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by…
A Gauss-Lucas theorem is proved for multivariate entire functions, using a natural notion of separate convexity to obtain sharp results. Previous work in this area is mostly restricted to univariate entire functions (of genus no greater…
Operator systems are the unital self-adjoint subspaces of the bounded operators on a Hilbert space. Complex operator systems are an important category containing the C*-algebras and von Neumann algebras, which is increasingly of interest in…
In this paper a novel calculus system has been established based on the concept of 'werden'. The basis of logic self-contraction of the theories on current calculus was shown. Mistakes and defects in the structure and meaning of the…
We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a…
We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets).…
Let $\mathcal{A}$ denote a real, $n$-dimensional, unital, associative algebra.This paper provides an introductory exposition of calculus over $\mathcal{A}$. An $\mathcal{A}$-differentiable function is one for which the differential is…
Wigner's "unreasonable effectiveness of mathematics" in physics can be understood as a reflection of a deep and unexpected unity between the fundamental structures of mathematics and of physics. Some of the history of evidence for this is…
Within the framework of the path-integral formalism we reinvestigate the different methods of removing the unphysical degrees of freedom from spontanously broken gauge theories. These are: construction of the unitary gauge by gauge fixing;…
We compute the K-theory of the three C*-algebras associated to a rational function R acting on the Riemann sphere, its Fatou set, and its Julia set. The latter C*-algebra is a unital UCT Kirchberg algebra and is thus classified by its…
In this paper, we introduce an equivariant analog of Weiss calculus of functors for all finite group $\mathrm{G}$. In our theory, Taylor approximations and derivatives are index by finite dimensional $\mathrm{G}$-representations, and…
We study functors from spaces to spaces or spectra that preserve weak homotopy equivalences. For each such functor we construct a universal n-excisive approximation, which may be thought of as its n-excisive part. Homogeneous functors,…
The conception of C- and H-representations of any holomorphic function is further extended to the notions, definitions, lemmas and theorems of the complex integration. On this basis and the introduced notion of a H-plane, generalising the…
We look at explicit ways to bring one or two antiunitary symmetries into a standard form via unitary conjugation. We carefully reproduce Wigner's proof in two special cases, where the antiunitary operators square to $+I$, or to $-I$.…
We survey a few classes of analytic functions on the disk that have real boundary values almost everywhere on the unit circle. We explore some of their properties, various decompositions, and some connections these functions make to…
Using the notion of contiguity of simplicial maps, we adapt Farber's topological complexity to the realm of simplicial complexes. We show that, for a finite simplicial complex $K$, our discretized concept recovers the topological complexity…