Related papers: Colimits in 2-dimensional slices
Given a marked $\infty$-category $\mathcal{D}^{\dagger}$ (i.e. an $\infty$-category equipped with a specified collection of morphisms) and a functor $F: \mathcal{D} \to \mathbb{B}$ with values in an $\infty$-bicategory, we define…
Qualification conditions (also termed constraint qualifications) help avoid pathological behavior at domain boundaries in convex analysis. By generalizing facial reduction from conic programming to general convex programs of the form $f(x)…
We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by…
We develop a topological approach to prove the generalized Lax conjecture using the fact that determinants of sufficiently big symmetric linear pencils are able to express the rigidly convex sets of RZ polynomials of any degree $d$.…
We introduce new modified Abelian lattice models, with inhomogeneous local interactions, in which a sum over topological sectors are included in the defining partition function. The dual models, on lattices with arbitrary topology, are…
Pseudocolimits are formal gluing constructions that combine objects in a category indexed by a pseudofunctor. When the objects are categories and the domain of the pseudofunctor is small and filtered it has been known since Exppose 6 in…
For a left vector space V over a totally ordered division ring F, let Co(V) denote the lattice of convex subsets of V. We prove that every lattice L can be embedded into Co(V) for some left F-vector space V. Furthermore, if L is finite…
We prove that cloven Grothendieck fibrations over a fixed base $\ct{B}$ are the pseudo-coalgebras for a lax idempotent 2-comonad on $\ct{Cat}/\ct{B}$. We show this via an original observation that the known colax idempotent 2-monad for…
If $K$ is a compact Hausdorff space so that the Banach lattice $C(K)$ is isometrically lattice isomorphic to a dual of some Banach lattice, then $C(K)$ can be decomposed as the $\ell^\infty$-direct sum of the carriers of a maximal singular…
A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived…
A pseudomonad on a $2$-category whose underlying endomorphism is a $2$-functor can be seen as a diagram $\mathbf{Psmnd} \rightarrow \mathbf{Gray}$ for which weighted limits and colimits can be considered. The $2$-category of pseudoalgebras,…
Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the…
In this paper, we consider a finite-dimensional optimization problem minimizing a continuous objective on a compact domain subject to a multi-dimensional constraint function. For the latter, we assume the availability of a global Lipschitz…
We identify additional structure on a conservative lax monoidal functor from a closed monoidal category $\mathcal{C}$ to a Grothendieck-Verdier category $\mathcal{D}$, such that the Grothendieck-Verdier structure of $\mathcal{D}$ lifts to…
The aim of this paper is to present a detailed and slightly modified version of the proof of the Lempert Theorem in the case of non-planar stronlgy linearly convex domains with C^2 smooth boundaries. The original Lempert's proof is…
We study four types of (co)cartesian fibrations of $\infty$-bicategories over a given base $\mathcal{B}$, and prove that they encode the four variance flavors of $\mathcal{B}$-indexed diagrams of $\infty$-categories. We then use this…
In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical…
Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as…
It is well known by analysts that a concept lattice has an exponential size in the data. Thus, as soon as he works with real data, the size of the concept lattice is a fundamental problem. In this chapter, we propose to investigate factor…
We study a family of Bowen-Series-like maps associated to any finitely generated Fuchsian group of the first kind with at least one cusp. These maps act on the boundary of the hyperbolic plane in a piecewise manner by generators of the…