English
Related papers

Related papers: Notes on enriched categories with colimits of some…

200 papers

We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several…

Category Theory · Mathematics 2022-04-27 Rory B. B. Lucyshyn-Wright , Jason Parker

In this paper, we introduce and study the class of $\phi$-$w$-P-flat modules, which can be seen as generalizations of both $\phi$-P-flat modules and $w$-P-flat modules. In particular, we obtain that the class of $\phi$-$w$-P-flat modules is…

Commutative Algebra · Mathematics 2024-07-26 Wei Qi , Xiaolei Zhang

Let V be a cofibrantly generated closed symmetric monoidal model category and M a model V-category. We say that a weighted colimit W*D of a diagram D weighted by W is a homotopy weighted colimit if the diagram D is pointwise cofibrant and…

Category Theory · Mathematics 2012-01-17 Lukáš Vokřínek

Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…

Category Theory · Mathematics 2015-01-28 Lukáš Vokřínek

We define the categories of weight-finite modules over the type $\mathfrak a_1$ quantum affine algebra $\dot{\mathrm{U}}_q(\mathfrak a_1)$ and over the type $\mathfrak a_1$ double quantum affine algebra $\ddot{\mathrm{U}}_q(\mathfrak a_1)$…

Quantum Algebra · Mathematics 2020-07-07 Elie Mounzer , Robin Zegers

We use a generic notion of flatness in the enriched context to define various completions of metric spaces -- enrichments over [0,\infty] -- and preorders -- enrichments over 2. We characterize the weights of colimits commuting in…

Category Theory · Mathematics 2007-05-23 Vincent Schmitt

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our…

Algebraic Topology · Mathematics 2009-07-01 Michael Shulman

It was recently shown by van den Broeck at al. that the symmetric weighted first-order model counting problem (WFOMC) for sentences of two-variable logic FO2 is in polynomial time, while it is Sharp-P_1 complete for some FO3-sentences. We…

Logic in Computer Science · Computer Science 2018-04-27 Antti Kuusisto , Carsten Lutz

We show that in a category with pullbacks, arbitrary sifted colimits may be constructed as filtered colimits of reflexive coequalizers. This implies that "lex sifted colimits", in the sense of Garner--Lack, decompose as Barr-exactness plus…

Category Theory · Mathematics 2021-12-10 Ruiyuan Chen

We introduce enriched notions of purity depending on the left class $\mathcal E$ of a factorization system on the base $\mathcal V$ of enrichment. Ordinary purity is given by the class of surjective mappings in the category of sets. Under…

Category Theory · Mathematics 2024-12-24 Jiří Rosický , Giacomo Tendas

We show that there are infinitely many distinct closed classes of colimits (in the sense of the Galois connection induced by commutation of limits and colimits in Set) which are intermediate between the class of pseudo-filtered colimits and…

Category Theory · Mathematics 2015-05-06 Marie Bjerrum , Peter Johnstone , Tom Leinster , William F. Sawin

We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This is accomplished by generalizing Joyal's…

Algebraic Topology · Mathematics 2019-02-05 Martina Rovelli

We prove a number of results involving categories enriched over \textsc{CMet}, the category of complete metric spaces with possibly infinite distances. The category \textsc{CPMet} of intrinsic complete metric spaces is locally…

Metric Geometry · Mathematics 2022-05-26 Alexandru Chirvasitu

For a compact surface $\Sigma$ (orientable or not, and with boundary or not) we show that the fixed subgroup, $\operatorname{Fix} B$, of any family $B$ of endomorphisms of $\pi_1(\Sigma)$ is compressed in $\pi_1(\Sigma)$ i.e.,…

Group Theory · Mathematics 2015-01-28 Qiang Zhang , Enric Ventura , Jianchun Wu

The M(3,p) minimal models are reconsidered from the point of view of the extended algebra whose generators are the energy-momentum tensor and the primary field \phi_{2,1} of dimension $(p-2)/4$. Within this framework, we provide a…

High Energy Physics - Theory · Physics 2009-11-11 P Jacob , P. Mathieu

Let $D$ be an indefinite quaternion division algebra over $\mathbb{Q}$. We approach the problem of bounding the sup-norms of automorphic forms $\phi$ on $D^\times(\mathbb{A})$ that belong to irreducible automorphic representations and…

Number Theory · Mathematics 2019-10-17 Abhishek Saha

We prove explicit finite-$N$ lower bounds for $\mathbb P(\bigcup_{k=1}^N A_k)$ when the $\sigma$-algebras generated by an event sequence satisfy quantitative $\varphi$- or $\alpha$-mixing bounds. The main $\varphi$-mixing estimate is…

Probability · Mathematics 2026-04-28 Chatchawan Panraksa

We develop axiomatics of highest weight categories and quasi-hereditary algebras in order to incorporate two semi-infinite situations which are in Ringel duality with each other; the underlying posets are either upper finite or lower…

Representation Theory · Mathematics 2024-07-11 Jonathan Brundan , Catharina Stroppel

We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-category theory we discuss such things as adjoint functors,…

Category Theory · Mathematics 2007-05-23 Isar Stubbe

We prove an adjoint functor theorem in the setting of categories enriched in a monoidal model category $\mathcal V$ admitting certain limits. When $\mathcal V$ is equipped with the trivial model structure this recaptures the enriched…

Category Theory · Mathematics 2022-12-13 John Bourke , Stephen Lack , Lukáš Vokřínek