相关论文: Notes on enriched categories with colimits of some…

This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via…

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 develop a number of basic concepts in the theory of categories internal to an $\infty$-topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal categories, and we use these results to prove the universal…

We analyse limits and colimits in the category $Part$ of partial groups, algebraic structures introduced by A. Chermak. We will prove that $Part$ is both complete and cocomplete and, in addition, that the full subcategory of finite partial…

We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for…

We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially…

Here is the simplest particular case of our main result: let $f:{\bf R}\to {\bf R}$ be a function of class $C^1$, with $\sup_{\bf R}f'>0$, such that $$\lim_{|\xi|\to +\infty}{{f(\xi)}\over {\xi}}=0\ .$$ Then, for each $\lambda>{{\pi^2}\over…

We study the finite element approximation of problems involving the weighted $\Phi$-Laplacian, where $\Phi$ is an $N$-function and the weight belongs to the class $A_\Phi$. In particular, we consider a boundary value problem and an obstacle…

We describe the class of semi-stable model categories, which generalize the equivalence of finite products and coproducts in abelian and stable model categories, and use this to establish Morita equivalences among categories of functors. We…

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…

We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf(Set)-enriched category theory, where Endf(Set) is the category of finitary endofunctors of Set. We identify finitary monads with…

We prove matching direct and inverse theorems for uniform polynomial approximation with $A^*$ weights (a subclass of doubling weights suitable for approximation in the $L_\infty$ norm) having finitely many zeros and not too "rapidly…

We prove that a category which is symmetric (relaxed) monoidal closed, (small) complete, well-powered and has a small cogenerating family, is cocomplete.

We provide an alternative proof of Lurie's result that the wide subcategory of the $\infty$-category of $\infty$-topoi spanned by the \'etale morphisms is closed under small colimits. Our proof is based on a new characterization of \'etale…

An algebraically exact category in one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these…

Assume that a basic algebra $A$ over an algebraically closed field $\Bbbk$ with a basic set $A_0$ of primitive idempotents has the property that $eAe=\Bbbk$ for all $e \in A_0$. Let $n$ be a nonzero integer, and $\phi$ and $\psi$ two…

Riehl and Verity have established that for a quasi-category $A$ that admits limits, and a homotopy coherent monad on $A$ which does not preserve limits, the Eilenberg-Moore object still admits limits; this can be interpreted as a…

We characterize the inclusions of weighted classes of entire functions in terms of the defining weights resp. weight systems. First we treat weights defined in terms of a so-called associated weight function where the weight(system) is…

For a finite quiver $Q$, we study the reachability category $\mathbf{Reach}_Q$. We investigate the properties of $\mathbf{Reach}_Q$ from both a categorical and a topological viewpoint. In particular, we compare $\mathbf{Reach}_Q$ with…

We show that the category of comodules over a coassociative coalgebra in a complete, cocomplete and well-powered category has limits and colimits under additional assumptions.