Related papers: Non-canonical isomorphisms
We define natural A_infinity-transformations and construct A_infinity-category of A_infinity-functors. The notion of non-strict units in an A_infinity-category is introduced. The 2-category of (unital) A_infinity-categories, (unital)…
A theory of non-unitary-invertible as well as unitary canonical transformations is formulated in the context of Weyl's phase space representations. That all quantum canonical transformations without an explicit $\hbar$ dependence are also…
We define a normal form (called the canonical image) of an arbitrary measurable function of several variables with respect to a natural group of transformations; describe a new complete system of invariants of such a function (the system of…
Quantum canonical transformations are defined in analogy to classical canonical transformations as changes of the phase space variables which preserve the Dirac bracket structure. In themselves, they are neither unitary nor non-unitary. A…
In this paper we give a purely categorical construction of d-fold matrix factorizations of a natural transformation, for any even integer d. This recovers the classical definition of those for regular elements in commutative rings due to…
Two quantum theories are physically equivalent if they are related, not by a unitary transformation, but by an isometric transformation. The conditions under which a quantum canonical transformation is an isometric transformation are given.
A topologically-invariant and additive homology class is mostly not a natural transformation as it is. In this paper we discuss turning such a homology class into a natural transformation; i.e., a "categorification" of it. In a general…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…
The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A…
Let X be a normal variety such that $K_X$ is Q-Cartier, and let $f: X \rightarrow X$ be a finite surjective morphism of degree at least two. We establish a close relation between the irreducible components of the locus of singularities that…
The properties of discrete nonlinear symmetries of integrable equations are investigated. These symmetries are shown to be canonical transformations. On the basis of the considered examples, it is concluded, that the densities of the…
Quantum canonical transformations are defined algebraically outside of a Hilbert space context. This generalizes the quantum canonical transformations of Weyl and Dirac to include non-unitary transformations. The importance of non-unitary…
We show that for finite n at least 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadic algebras, and polyadic equality algebras contains an…
We demonstrate that, in certain cases, quantization and the classical limit provide functors that are "almost inverse" to each other. These functors map between categories of algebraic structures for classical and quantum physics,…
If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, there are non-isomorphic models M_1 and M_2 of T that can be…
Given a category $\mathcal{E}$, we establish sufficient conditions on a faithful isofibration $\mathcal{E}\rightarrow\operatorname{Mon}(\mathcal{V})$ valued in the category of monoids internal to a monoidal additive category $\mathcal{V}$…
The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…
The equivalence group is determined for systems of linear ordinary differential equations in both the standard form and the normal form. It is then shown that the normal form of linear systems reducible by an invertible point transformation…
Categorical orthodoxy has it that collections of ordinary mathematical structures such as groups, rings, or spaces, form categories (such as the category of groups); collections of 1-dimensional categorical structures, such as categories,…