Related papers: Codensity Lifting of Monads and its Dual
For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept of D-ultrafilter on an object, where D is a "nice"…
This paper is a follow-up to the author's work "Topology of probability measure space, I" devoted to investigation of the functors $\hat P$ and $P_\tau$ of spaces of probability $\tau$-smooth and Radon measures. In this part, we study the…
Let p: M -> B be a family of compact manifolds equipped with a unitarily flat vector bundle F -> M. We generalize Igusa's higher Franz-Reidemeister torsion \tau(M/B;F) to the case that the fibre-wise cohomology H^*(M/B;F) -> B carries a…
This paper contains results from two areas -- formal theory of Kan extensions and concrete categories. The contribution to the former topic is based on the extension of the concept of Kan extension to the cones and we prove that limiting…
We discuss conditions under which certain compactifications of topological spaces can be obtained by composing the ultrafilter space monad with suitable reflectors. In particular, we show that these compactifications inherit their…
Updated version of 2013 Arizona WInter School notes on modularity lifting theorems for for two-dimensional p-adic representations, using wherever possible arguments that go over to the n-dimensional (self-dual) case.
We propose a new model for multicategories with symmetries with respect to Zhang's group operads. The fully faithful embedding of the category of group operads into that of crossed interval groups is made use of, and it is shown that every…
For a small quantaloid $\mathcal{Q}$, we consider 2-monads on the 2-category $\mathcal{Q}$-$\bf{Cat}$ and their lax extensions to the 2-category $\mathcal{Q}$-$\bf{Dist}$ of small $\mathcal{Q}$-categories and their distributors, in…
A new functional model for pairs of commuting isometries is described. Intertwining operators between such models are then studied in order to approach the classification of invariant subspaces of such pairs.
Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an $\infty$-cosmos. In a generic $\infty$-cosmos, whose…
We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category with finite limits and colimits has a…
In this paper, we investigate the polyhedral structure of two submodular sets with generalized upper bound (GUB) constraints, which arise as important substructures in various real-world applications. We derive a class of strong valid…
The goal of this paper is to derive new classes of valid convex inequalities for quadratically constrained quadratic programs (QCQPs) through the technique of lifting. Our first main result shows that, for sets described by one bipartite…
Given a horizontal monoid M in a duoidal category F, we examine the relationship between bimonoid structures on M and monoidal structures on the category of right M-modules which lift the vertical monoidal structure of F. We obtain our…
We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their applications to 4d topological quantum field theories and 2-tangles (surfaces embedded in 4-dimensional space). Then we give…
Our aim is to construct fibrewise localizations in model categories. For pointed spaces, the general idea is to decompose the total space of a fibration as a diagram over the category of simplices of the base and replace it by the localized…
We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…
After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic…
We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our…
The anomaly of non-invertible higher-form symmetries is determined by the braiding of topological operators implementing them. In this paper, we study a method to classify braidings on topological line and surface operators by leveraging…