Related papers: On lax epimorphisms and the associated factorizati…

The derived category of a hypersurface has an action by "cohomology operations" k[t], deg t=-2, underlying the 2-periodic structure on its category of singularities (as matrix factorizations). We prove a Thom-Sebastiani type Theorem,…

We extend the classical (connected, etale) factorization of locally connected geometric morphisms into a (terminally connected, pro-etale) factorization for all geometric morphisms between Grothendieck topoi. We discuss properties of both…

We study CAT(kappa) spaces X admitting affine functions. We show that there exists a canonical isometric embedding X -> Y x H where H is a Hilbert space, such that every affine function f: X -> R factors as f'o p, where p is the projection…

We study the matrix factorization problem associated with an SO(2) spinning top by using the algebro-geometric approach. We derive the explicit expressions in terms of Riemann theta functions and discus some related problems including a…

We prove a universal property for $\infty$-categories of spans in the generality of Barwick's adequate triples, explicitly describe the cocartesian fibration corresponding to the span functor, and show that the latter restricts to a…

By regarding the classical non abelian cohomology of groups from a 2-dimensional categorical viewpoint, we are led to a non abelian cohomology of groupoids which continues to satisfy classification, interpretation and representation…

We describe a pretorsion theory in the category $Cat$ of small categories: the torsion objects are the groupoids, while the torsion-free objects are the skeletal categories, i.e., those categories in which every isomorphism is an…

The article is devoted to the classical problems about the relationships between elliptic functions and hyperelliptic functions of genus 2. It contains new results, as well as a derivation from them of well-known results on these issues.…

A construction of Wehrheim and Woodward circumvents the problem that compositions of smooth canonical relations are not always smooth, building a category suitable for functorial quantization. To apply their construction to more examples,…

We investigate tensor products of matrix factorisations. This is most naturally done by formulating matrix factorisations in terms of bimodules instead of modules. If the underlying ring is C[x_1,...,x_N] we show that bimodule matrix…

This paper is a follow-up to arXiv:2407.08471. Let $X$ be a a $(-1)$-shifted symplectic derived Deligne--Mumford stack. Thanks to the Darboux lemma of Brav--Bussi--Joyce, $X$ is locally modeled by derived critical loci of a function $f$ on…

We introduce and investigate the category of factorization of a multiplicative, commutative, cancellative, pre-ordered monoid $A$, which we denote $\mathcal{F}(A)$. The objects of $\mathcal{F}(A)$ are factorizations of elements of $A$, and…

Using the language of double categories we generalise a classical result on finite-product-preserving left Kan extensions, by Ad\'amek and Rosick\'y, to one on left Kan extensions that preserve algebraic structures defined by `suitable'…

We define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper \'etale effective groupoid objects over the complex manifolds. Both…

Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts are here shown to be lax functors out of the chaotic category with two objects. This allows various aspects in the theory of Morita…

In enriched category theory, the notion of extranatural transformations is more fundamental than that of ordinary natural transformations, and the ends, the universal extranatural transformations, play a critical role. On the other hand,…

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of…

Soft set theory can deal uncertainties in nature by parametrization process. In this paper, we explore the objects and morphisms of category of soft sets, Sset(U) in detail. Also, gives characterizations of monomorphisms and epimorphisms in…

Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…

We derive approximation algorithms for the nonnegative matrix factorization problem, i.e. the problem of factorizing a matrix as the product of two matrices with nonnegative coefficients. We form convex approximations of this problem which…