Related papers: Quasi-2-Segal sets

We define the notion of Cartesian 2-fibrations, and prove a weak analogue of straightening. Using Barwick's notion of operator categories and the notion of a Cartesian 2-fibration, we extend the notion of $\infty$-operads to the…

We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…

The aim of this paper is to study the topological properties of algebraic sets with zero divisors. We impose a subbasic topology on the set of proper ideals of a $k$-algebra and this new ``$k$-space'' becomes a generalization of the…

This paper consists of two prongs. Firstly, we prove that any Specht module labelled by a 2-separated partition is semisimple and we completely determine its decomposition as a direct sum of graded simple modules. Secondly, we apply these…

In this paper we introduce the notion of coalgebra symmetry for discrete systems. With this concept we prove that all discrete radially symmetric systems in standard form are quasi-integrable and that all variational discrete quasi-radially…

Using a generalization of complexes, called 2-complexes, this paper defines and analyzes new Sobolev spaces of matrix fields and their interrelationships within a commuting diagram. These spaces have very weak second-order derivatives. An…

J. Lurie proved in Higher Topos Theory that for $K$ a simplicial set, $\mathcal{C}$ a simplicial category, $f: \mathfrak{C}[K] \rightarrow \mathcal{C}^{\text{op}}$ an equivalence of simplicial categories, we have a Quillen equivalence…

Given an $\infty$-category with a set of weak equivalences which is stable under pullback, we show that the mapping spaces of the corresponding localization can be described as group completions of $\infty$-categories of spans. Furthermore,…

One of us (L.S.) and H. Verlinde independently conjectured a holographic duality between the double-scaled SYK model at infinite temperature and dimensionally reduced $(2+1)$-dimensional de Sitter space [1]-[8]. Beyond the statement that…

This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…

We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them to probe the internal categorical structures of…

For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a…

We explain how the geometric framework introduced in arXiv:2508.11621 [math.AG] provides a universal property for the 2-rings of perfect complexes on qcqs spectral or Dirac spectral schemes. As an application, given a qcqs spectral or Dirac…

Pseudotopological spaces are the Cartesian closed hull of the category of \v{C}ech closure spaces. In this paper, we give a direct proof that the model category of the pseudotopological spaces constructed by Rieser is Quillen equivalent to…

Let $G=QD_{8k}~$ be the quasi-dihedral group of order $8n$ and $\theta$ be an automorphism of $QD_{8k}$ of finite order. The fixed-point set $H$ of $\theta$ is defined as $H_{\theta}=G^{\theta}=\{x\in G \mid \theta(x)=x\}$ and generalized…

Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups…

We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When…

Much of the homotopical and homological structure of the categories of chain complexes and topological spaces can be deduced from the existence and properties of the 'simple' functors Tot : {double chain complexes} -> {chain complexes} and…

We construct and study a closed, two-dimensional, quasi-topological (0,2) gauged sigma model with target space a smooth G-manifold, where G is any compact and connected Lie group. When the target space is a flag manifold of simple G, and…

We exhibit the simplex category $\Delta$ and Segal's category $\Gamma$ as $\infty$-categorical localizations of the dendroidal categories $\Omega_\pi$ and $\Omega$ introduced by Moerdijk and Weiss. As an application we obtain an equivalence…