Related papers: Real coextensions as a tool for constructing trian…
We record a particularly simple construction on top of Lumsdaine's local universes that allows for a Coquand-style universe of propositions with propositional extensionality to be interpreted in a category with subobject classifiers.
A class of transformations of $R_q$-matrices is introduced such that the $q\to 1$ limit gives explicit nonstandard $R_{h}$-matrices. The transformation matrix is singular itself at $q\to 1$ limit. For the transformed matrix, the…
We introduce a new class of infinite-dimensional Lie algebras, which we refer to as continuum Kac-Moody algebras. Their construction is closely related to that of usual Kac-Moody algebras, but they feature a continuum root system with no…
Let $P,$ $S,$ and $T$ be semigroups, $f:P\to S$ and $g:P\to T$ semigroup homomorphisms, and $X$ a generating set for $S$ (possibly infinite). Clearly, a <i>necessary</i> condition for there to exist a homomorphism $S\to T$ making a…
In this paper we have found a necessary and sufficient condition for equivalence of two norms on a linear space using the theory of exponential vector space. Exponential vector space is an ordered algebraic structure which can be considered…
Motivated by conjectures relating group orderability, Floer homology, and taut foliations, we discuss a systematic and broadly applicable technique for constructing left-orders on the fundamental groups of rational homology 3-spheres.…
A nonconforming linear element method is developed for a three-dimensional generalized tensor-valued Stokes equation associated with the Hessian complex in this paper. A discrete Helmholtz decomposition for the piecewise constant space of…
In this paper, we define the \textit{normal form} of collections of disjoint three \textit{bridge arcs} for a given rational $3$-tangle. We show that there is a sequence of \textit{normal jump moves} which leads one to the other for two…
In this paper, we use geometric tools to study the structure of asymptotic expanders and show that a sequence of asymptotic expanders always admits a "uniform exhaustion by expanders". It follows that asymptotic expanders cannot be coarsely…
Asymptotic expansions for generalised trigonometric integrals are obtained in terms of elementary functions, which are valid for large values of the parameter $a$ and unbounded complex values of the argument. These follow from new…
The method of alternating projections (MAP) is a common method for solving feasibility problems. While employed traditionally to subspaces or to convex sets, little was known about the behavior of the MAP in the nonconvex case until 2009,…
This article describes an entirely algebraic construction for developing conformal geometries, which provide models for, among others, the Euclidean, spherical and hyperbolic geometries. On one hand, their relationship is usually shown…
Let $R$ be a left-symmetric conformal algebra and $Q$ be a $\mathbb{C}[\partial]$-module. We introduce the notion of a unified product for left-symmetric conformal algebras and apply it to construct an object $\mathcal{H}^2_R(Q,R)$ to…
In this article, we present two methods to construct 2-uninorms on bounded lattices by using additive generators, which are further used for inducing uninorms, nullnorms, uni-nullnorms and null-uninorms, respectively. We also provide some…
A linear extension of a poset $P$ is a permutation of the elements of the set that respects the partial order. Let $L(P)$ denote the number of linear extensions. It is a #P complete problem to determine $L(P)$ exactly for an arbitrary…
We obtain some "universal" estimates for $L_2$-norm of the solution of a parabolic equation via a weighted version of $H^{-1}$-norm of the free term. More precisely, we found the limit upper estimate that can be achieved by transformation…
We say that a ring $R$ is t-unital if the natural map $R\otimes_RR\rightarrow R$ is an isomorphism, and a left $R$-module $P$ is c-unital if the natural map $P\rightarrow\operatorname{Hom}_R(R,P)$ is an isomorphism. For a t-unital ring $R$,…
We give a new completion for the quasi-uniform spaces. We call the whole procedure {\it $\tau$-completion} and the new space {\it $\tau$-complement of the given}. The basic result is that every $T_{_0}$ quasi-uniform space has a…
Many kinds of categorical structure require the existence of finite limits, of colimits of some specified type, and of "exactness" conditions between the finite limits and the specified colimits. Some examples are the notions of regular, or…
The problem of finding optimal curves (the longest arcs) for sub-Lorentzian structures is an optimal control problem with an unbounded control set and a concave cost functional. The question of existence of an optimal solution is nontrivial…