Related papers: The Algebraic Weak Factorisation System for Delta …
The orthogonal and unitary calculi give a method to study functors from the category of real or complex inner product spaces to the category of based topological spaces. We construct functors between the calculi from the…
We propose that the height-angle ray vector in matrix optics should be complex, based on a geometric algebra analysis. We also propose that the ray's 2x2 matrix operators should be right-acting, so that the matrix product succession would…
An algebra $A$ is left weakly Gorenstein if any semi-Gorenstein-projective left $A$-modules is Gorenstein-projective. The weakly Gorensteinness of two kinds of algebras are answered. Using the method of the monomorphism category, it is…
In the coming years, strong gravitational lens discoveries are expected to increase in frequency by two orders of magnitude. Lens-modelling techniques are being developed to prepare for the coming massive influx of new lens data, and blind…
Bidiagonal matrices are widespread in numerical linear algebra, not least because of their use in the standard algorithm for computing the singular value decomposition and their appearance as LU factors of tridiagonal matrices. We show that…
We compute the factorization homology of a polynomial algebra over a compact and closed manifold with trivialized tangent bundle up to weak equivalence in a new way. This calculation is based on the model of a graph complex and an explicit…
In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors --…
We present algorithms to factorize weighted homogeneous elements in the first polynomial Weyl algebra and $q$-Weyl algebra, which are both viewed as a $\mathbb{Z}$-graded rings. We show, that factorization of homogeneous polynomials can be…
Let Omega be a quasisimple classical group in its natural representation over a finite vector space V, and let Delta be its normaliser in the general linear group. We construct the projection from Delta to Delta/Omega and provide fast,…
For large-scale discrete-time algebraic Riccati equations (DAREs) with high-rank nonlinear and constant terms, the stabilizing solutions are no longer numerically low-rank, resulting in the obstacle in the computation and storage. However,…
Derived D-Geometry is considered as a convenient language for a coordinate-free investigation of nonlinear partial differential equations up to symmetries. One of the first issues one meets in the functor of points approach to derived…
Two unital operator algebras A, B are called Delta-equivalent if there exists an equivalence functor between the categories A-mod and B-mod which "extends" to a *-functor implementing an equivalence between the categories A-dmod and B-dmod.…
We show that first-order logic can be translated into a very simple and weak logic, and thus set theory can be formalized in this weak logic. This weak logical system is equivalent to the equational theory of Boolean algebras with three…
We introduce analogues of algebraic groups called algebraic racks, which are pointed rack objects in the category of schemes over a ground field. Addressing a problem of Loday, we construct functors assigning left and right Leibniz algebras…
Bourke and Garner described how to cofibrantly generate algebraic weak factorisation systems by a small double category of morphisms. However they did not give an explicit construction of the resulting factorisations as in the classical…
Weak gravitational lensing of distant galaxies can probe the total projected mass distribution of foreground gravitational structures on all scales and has been used successfully to map the projected mass distribution of rich intermediate…
We compute the modified factorization contributions to the $\Lambda\rightarrow N\rho$ and $\Sigma\rightarrow N\rho$ couplings and demonstrate that these contributions naturally include $\Delta I=3/2$ terms which are comparable ($\simeq 0.4$…
In the first part of the paper we describe the dual \ell^2(A)^{\prime} of the standard Hilbert C*-module \ell^2(A) over an arbitrary (not necessarily unital) C*-algebra A. When A is a von Neumann algebra, this enables us to construct…
In the present paper we introduce the generalized inverse operators which have an interesting role in operator theory. We establish Douglas' factorization theorem type for Hilbert pro-$C^{\ast}$-module. We introduce the notion of atomic…
Liftings of endofunctors on sets to endofunctors on relations are commonly used to capture bisimulation of coalgebras. Lax versions have been used in those cases where strict lifting fails to capture bisimilarity, as well as in modeling…