Related papers: An Algebraic Weak Factorisation System on 01-Subst…
We construct a higher level analogue of Dorey's rule, which describe certain surjective morphisms between Kirillov--Reshetikhin (KR) modules over quantum affine algebras. Building on this, we establish a generalized T-system of short exact…
We introduce a new higher categorical structure called a weakly globular n-fold category. This structure is based on iterated internal categories and on the notion of weak globularity. We identify a suitable class of pseudo-functors whose…
We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system…
We prove that for any 1-reduced simplicial set X, Adams' cobar construction, \Omega CX, on the normalised chain complex of X is naturally a strong deformation retract of the normalised chains CGX on the Kan loop group GX, opening up the…
We introduce a notion of a weak elementary fibration and prove that it does exist in certain interesting cases. Our notion is a modification of the M. Artin's notion of an elementary fibration.
In this note we give a precise statement and a detailed proof for reconstruction problem of weak bialgebra maps. As an application we characterize indecomposability of weak algebras in categorical setting.
Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We…
We give a simplified algorithm of the functorial weak factorization of birational morphisms of nonsingular varieties over a field of characteristic zero into a composite of blow-ups and blow-downs with smooth centers.
A new proof for adjoint systems of linear equations is presented. The argument is built on the principles of Algorithmic Differentiation. Application to scalar multiplication sets the base line. Generalization yields adjoint inner vector,…
We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category…
In Quillen's paper on rational homotopy theory, the category of 1-reduced simplicial sets is endowed with a family of model structures, the most prominent of which is the one in which the weak equivalences are the rational homotopy…
Let (G,G^+) be a simple ordered abelian group. We say that G has strong perforation if there exists a non-positive element x in G such that nx is positive and non-zero for some natural number n. Otherwise, the group is said to be weakly…
In this note we show that a semisimplicial set with the weak Kan condition admits a simplicial structure, provided any object allows an idempotent self-equivalence. Moreover, any two choices of simplicial structures give rise to equivalent…
It is well-known that a quiver Q of type A_n is representation-finite, and that its indecomposable representations are thin (all Jordan-Hoelder multiplicities are 0 or 1). By now, various methods of proof are known. The aim of this note is…
Generators of the algebra of first class functions in a system with second class constraints are found. It is shown that first class functions form algebras with respect to the Dirac bracket and pointwise multiplication.The subspace of…
Algebraic injectivity was introduced to capture homotopical structures like algebraic Kan complexes. But at a much simpler level, it allows one to describe sets with operations subject to no equations. If one wishes to add equations (or…
We prove a version of the Deligne conjecture for $n$-fold monoidal abelian categories $A$ over a field $k$ of characteristic 0, assuming some compatibility and non-degeneracy conditions for $A$. The output of our construction is a weak…
The framework of cyclic proof systems provides a reasonable proof system for logics with inductive definitions. It also offers an effective automated proof search procedure for such logics without finding induction hypotheses. Recent…
In a previous paper we studied ``weakly primitive axial algebras'' with respect to more general fusion rules, for which at least one axis satisfies the fusion rules. In this continuation, a concise description is provided of the…
We consider the factorisation problem for bialgebras: when a bialgebra $K$ factorises as $K=HL$, where $H$ and $L$ are algebras and coalgebras (but not necessarly bialgebras). Given two maps $R: H\ot L\to L\ot H$ and $W:L\ot H\to H\ot L$,…