Related papers: Hypersheaves and bases

In this paper we prove that various quasi-categories whose objects are $\infty$-categories in a very general sense are complete: admitting limits indexed by all simplicial sets. This result and others of a similar flavor follow from a…

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

We show that the homotopy theories of differential graded categories and $\mathrm{A}_\infty$-categories over a field are equivalent at the $(\infty,1)$-categorical level. The results are corollaries of a theorem of Canonaco-Ornaghi-Stellari…

There are presented certain results on extending continuous linear operators defined on spaces of E-valued continuous functions (defined on a compact Hausdorff space X) to linear operators defined on spaces of E-valued measurable functions…

Motivated by problems in which data are given over covering generating families, we suggest a new cohomology theory for diffeological spaces, called diffeological \v{C}ech cohomology, which is an exact $ \partial $-functor of the section…

Let k be a field. We attach a CW-complex to any Schurian k-category and we prove that the fundamental group of this CW-complex is isomorphic to the intrinsic fundamental group of the k-category. This extends previous results by J.C.…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

For a diagram of simplicial combinatorial model categories, we show that the associated lax limit, endowed with the projective model structure, is a presentation of the lax limit of the underlying $\infty$-categories. Our approach can also…

An unrepresentable cohomological functor of finite type of the bounded derived category of coherent sheaves of a compact complex manifold of dimension greater than one with no proper closed subvariety is given explicitly in categorical…

In this article, we develop an explicit categorical realization of sheafification based on colimits, products, and subobjects, emphasizing its behavior in algebraic and topological-algebraic settings. We prove that if $\mathcal{C}$ is a…

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

Let $\mathscr X$ be an $\infty$-topos, for example the $\infty$-category of simplicial sheaves on a Grothendieck site. Then $\infty$-group sheaves are group objects in $\mathscr X$. Let $A\in\mathrm{Grp}\mathscr X$ be such a group object.…

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

Let $\mathcal{O} \to \mathrm{BM}$ be a $ \mathrm{BM}$-operad that exhibits an $\infty$-category $\mathcal{D}$ as weakly bitensored over non-symmetric $\infty$-operads $\mathcal{V}, \mathcal{W}$ and $\mathcal{C}$ a $\mathcal{V}$-enriched…

Following the classical results of Stong, we introduce a cohomological analogue of a core of a finite sheaved topological space and propose an algorithm for simplification in this category. In particular we generalize the notion of beat…

We describe a class of topological vector spaces admitting a mixing uniformly continuous operator group ${T_t}_{t\in\C^n}$ with holomorphic dependence on the parameter $t$. This result covers those existing in the literature. We also…

We prove a theorem on how a conclusion on homological dimension of a family of coherent sheaves over a scheme can be done from homological dimension of the restriction of this family to the reduction of the base.

We consider convex, spacelike hypersurfaces with boundaries on some hyperboloid (or lightcone) in the Minkowski space. If the hypersurface has constant higher order mean curvature, and the angle between the normal vectors of the…

We investigate the behavior of countable Borel equivalence relations (CBERs) on topological Ramsey spaces. First, we give a simple proof of the fact that every CBER on $[\mathbb{N}]^{\mathbb{N}}$ is hyperfinite on some set of the form…

For any object A in a simplicial model category M, we construct a topological space \^A which classifies homogeneous functors whose value on k open balls is equivalent to A. This extends a classification result of Weiss for homogeneous…