Related papers: Weighted limits in an $(\infty,1)$-category
Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $\mathcal{V}$-categorical compact Hausdorff spaces with…
We provide a generalized treatment of (co)cartesian arrows, fibrations, and functors. Compared to the classical conditions, the endpoint inclusions get replaced by arbitrary shape inclusions. Our framework is Riehl--Shulman's simplicial…
In this note we explain that homotopy coherent simplicial nerve has to used intead of the standard definition in the author's papers on formal deformation theory. A convenient version of the notion of fibered category is presented which is…
We establish a weighted version of the $H^p$-theory of quasiconformal mappings.
In this paper we introduce the notion of a relative volutive (higher) category, specializing to the notion of a lax volutive (higher) category. Our primary motivation to study these objects is the following: while any rigid symmetric…
The concept of relative sectional category expands upon classical sectional category theory by incorporating the pullback of a fibration along a map. Our paper aims not only to explore this extension but also to thoroughly investigate its…
Drawing on well-known results from the theory of canonical extensions and the theory of categories enriched over a quantale, we define canonical extensions of quantale-enriched categories and establish their basic properties.
We give a model-independent definition of limits for diagrams valued in an $(\infty,n)$-category. We show that this definition is compatible with the existing notion of homotopy 2-limits for 2-categories, with the existing notion of…
The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed…
Formalized $1$-category theory forms a core component of various libraries of mathematical proofs. However, more sophisticated results in fields from algebraic topology to theoretical physics, where objects have "higher structure," rely on…
Highest weight categories are described in terms of standard objects and recollements of abelian categories, working over an arbitrary commutative base ring. Then the highest weight structure for categories of strict polynomial functors is…
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…
For each $n \geq -1$, a quasi-category is said to be $n$-truncated if its hom-spaces are $(n-1)$-types. In this paper we study the model structure for $n$-truncated quasi-categories, which we prove can be constructed as the Bousfield…
We define and study a natural category of graph limits. The objects are pairs $(\pi,\mu)$, where $\pi$ (the distribution of vertices) is an abstract probability measure on some abstract measurable space $(X,\mathcal{A})$ and $\mu$ (the…
We show that small quasicategories embed, both simplicially and 2-categorically, into prederivators defined on arbitrary small categories, so that in some senses prederivators can serve as a model for $(\infty,1)$-categories. The result for…
We establish a set of relations between several quite diverse types of weighted inequalities involving various integral operators and fairly general quasinorm-like functionals which we call sub-monotone. The main result enables one to solve…
The goal of the present paper is to compare, in a precise way, two notions of operads up to homotopy which appear in the literature. Namely, we construct a functor from the category of strict unital homotopy colored operads to the category…
Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the…
In this paper we characterize those accessible $\mathcal V$-categories that have limits of a specified class. We do this by introducing the notion of companion $\mathfrak C$ for a class of weights $\Psi$, as a collection of special types of…
In this paper, we define a generalization of indexed categories and contextual categories which we call contextually indexed (contextual) categories. While contextual categories are models of ordinary type theories, contextually indexed…