Related papers: A constructive approach to the double-categorical …

This paper dualizes the setting of affine spaces as originally introduced by Diers for application to algebraic geometry and expanded upon by various authors, to show that the fundamental groups of pointed topological spaces appear as the…

In this paper we present a new way to construct the pro-category of a category. This new model is very convenient to work with in certain situations. We present a few applications of this new model, the most important of which solves an…

We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact connected W*-algebra objects. Although…

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

We generalize the classical lifting and recombination scheme for rational and absolute factorization of bivariate polynomials to the case of a critical fiber. We explore different strategies for recombinations of the analytic factors,…

We study weak approximation on rationally connected varieties under an assumption of strong approximation for a "simple" variety or under Schinzel's hypothesis. We also get some unconditional results.

We define a simple kind of higher inductive type generalising dependent $W$-types, which we refer to as $W$-types with reductions. Just as dependent $W$-types can be characterised as initial algebras of certain endofunctors (referred to as…

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to…

We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing…

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

Assume $k$ is a field and let $F:C\rightarrow Vect_{k}$ be a small $k$-linear functor from a $k$-linear abelian category $C$ to the category of vector spaces over the field $k$, the purpose of this note is to use a little knowledge of…

We construct two model structures, whose fibrant objects capture the notions of discrete fibrations and of Grothendieck fibrations over a category $\mathcal{C}$. For the discrete case, we build a model structure on the slice…

We introduce a new class of higher categorical structures called weakly globular Tamsamani n-categories. These generalize the Tamsamani-Simpson model of higher categories by using the new paradigm of weak globularity to weaken higher…

Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply…

In this expository paper we explain in detail how to construct bicategorical colimits of several kinds of tensor categories, for example essentially small finitely cocomplete K-linear tensor categories. The constructions are direct and…

Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…

We prove that the derived category of a branched double cover is equivalent to a category of matrix factorizations for a fiberwise quadratic potential on the associated line bundle. This requires the linear fiber coordinate to have odd…

We introduce a new method for precisely relating certain kinds of algebraic structures in a presheaf category and judgements of its internal type theory. The method provides a systematic way to organise complex diagrammatic reasoning and…

We introduce the notion of an effective Kan fibration, a new mathematical structure that can be used to study simplicial homotopy theory. Our main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective…

Gate elimination is the primary technique for proving explicit lower bounds against general Boolean circuits, including Li and Yang's state-of-the-art $3.1n - o(n)$ bound for affine dispersers (STOC 2022). Every circuit lower bound is…