Related papers: On factorisation systems for surjective quandle ho…
We give a characterisation of functors whose induced functor on the level of localisations is an equivalence and where the isomorphism inverse is induced by some kind of replacements such as projective resolutions or cofibrant replacements.
We formulate two conjectures about etale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique Z-form of the etale cohomology of complex algebraic varieties, up…
We associate a complete intersection singularity to a graded matrix factorization of size two of a polynomial in three variables. We show that we get an inverse to the reduction of singularities considered by C.T.C.Wall. We study this for…
We develop a localisation theory for certain categories, yielding a 3-arrow calculus: Every morphism in the localisation is represented by a diagram of length 3, and two such diagrams represent the same morphism if and only if they can be…
This article establishes the algebraic covering theory of quandles. For every connected quandle we explicitly construct a universal covering, which in turn leads us to define the algebraic fundamental group as the automorphism group of the…
The most important examples of a double vector bundle are provided by iterated tangent and cotangent functors: TTM, TT^*M, T^*TM, and T^*T^*M. We introduce the notions of the dual double vector bundle and the dual double vector bundle…
We study categories of matrix factorizations. These categories are defined for any regular function on a suitable regular scheme. Our paper has two parts. In the first part we develop the foundations; for example we discuss derived direct…
Assuming a conjecture about factorization homology with adjoints, we prove the cobordism hypothesis, after Baez-Dolan, Costello, Hopkins-Lurie, and Lurie.
We provide necessary and sufficient conditions for the Hessenberg recurrence matrix associated with a system of multiple orthogonal polynomials to admit a factorisation as a product of bidiagonal matrices. Using the Gauss-Borel…
A (left) quandle is connected if its left multiplication group acts transitively. In 2014, Eisermann introduced the concept of quandle coverings, corresponding to so-called constant quandle cocycles that form a subset of quandle cocycles. A…
We construct an adjunction between $m$-categories internal to $(\infty,n)$-categories, called $(n,m)$-double $\infty$-categories, and filtrations $A_0\to \dots\to A_m$ where for all $i<m$, $A_i$ is a $(n+i)$-category. We show that this…
Delta lenses are functors equipped with a suitable choice of lifts, generalising the notion of split opfibration. In recent work, delta lenses were characterised as the right class of an algebraic weak factorisation system. In this paper,…
A class of two-dimensional superintegrable systems on a constant curvature surface is considered as the natural generalization of some well known one-dimensional factorized systems. By using standard methods to find the shape-invariant…
We initiate the combinatorial study of factorization systems on finite lattices, paying special attention to the role that reflective and coreflective factorization systems play in partitioning the poset of factorization systems on a fixed…
We consider the problem of factoring permutations as a product of special types of transpositions, namely, those transpositions involving two positions with bounded distances. In particular, we investigate the minimum number, $\delta$, such…
In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the others into symplectic and/or orthogonal…
We study the fusion of B-type interfaces between N=(2,2) supersymmetric Landau-Ginzburg models. Such interfaces can be described by matrix factorizations of the difference of the superpotentials, and their fusion is modelled by the tensor…
We study generalised Taylor morphisms, functors which construct differential ring homomorphisms from ring homomorphisms in a uniform way, analogous to the Taylor expansion for smooth functions. We generalise the construction of the twisted…
We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…
We introduce the notion of a generalized Jung factor: a II$_1$ factor $M$ for which any two embeddings of $M$ into its ultrapower $M^{\mathcal U}$ are equivalent by an automorphism of $M^{\mathcal U}$. We show that $\mathcal R$ is not the…