Related papers: On certain 2-categories admitting localisation by …
In this monograph we provide an in-depth and systematic study of pseudolimits of pseudofunctors $F:\mathscr{C}^{op} \to \mathfrak{Cat}$ in the $2$-category of categories where $\mathscr{C}$ is a $1$-category and use this to give an explicit…
Dimensions of objects in fusion categories are cyclotomic integers, hence number theoretic results have implications in the study of fusion categories and finite depth subfactors. We give two such applications. The first application is…
In this paper I define the notion of a non-degenerate finitely semi-simple semi-strict spherical 2-category of non-zero dimension. Given such a 2-category I define a state-sum for any triangulated compact closed oriented 4-manifold and show…
We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. We define a 2-category NHom whose objects are bicategories and whose 1-cells are normal homomorphisms of…
In this paper we provide proofs of two new theorems that provide a broad class of partition inequalities and that illustrate a na\"ive version of Andrews' anti-telescoping technique quite well. These new theorems also put to rest any notion…
We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…
Actions of bicategories arise as categorification of actions of categories. They appear in a variety of different contexts in mathematics, from Moerdijk's classification of regular Lie groupoids in foliation theory, to Waldmann's work on…
Let $\mathfrak{g}$ be a complex semisimple Lie algebra. The Beilinson-Bernstein localization theorem establishes an equivalence of the category of $\mathfrak{g}$-modules of a fixed infinitesimal character and a category of modules over a…
We prove several surjectivity criteria for $p$-adic representations. In particular, we classify all adjoint and simply connected group schemes $G$ over the Witt ring $W(k)$ of a finite field $k$ such that the epimorphism…
In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…
In this paper, we prove a window theorem for categorical Donaldson-Thomas theories on local surfaces as an analogue of window theorem for GIT quotient stacks. We give two applications of our main result. The first one is a proof of…
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the…
We introduce the notion of a distributive law between a relative monad and a monad. We call this a relative distributive law and define it in any 2-category $\mathcal{K}$. In order to do that, we introduce the 2-category of relative monads…
Neocategories, semicategories, precategories are well-known generalizations of categories. But they all suppose that sources and targets of morphisms fulfilled identity conditions. Here we intend to suppress those conditions. In doing this…
We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…
A Hopf bifurcation criterion of fractional-order systems with order 1 < {\alpha} < 2 is established in this paper, in which all conditions are explicitly expressed by parameters without solving the roots of the relevant characteristic…
Elmendorf's Theorem states that the category of continuous actions of a topological group is a Grothendieck topos in the sense that it is equivalent to a category of sheaves on a site. This paper offers a 2-dimensional generalization by…
We introduce some deformations of the biset category and prove a semisimplicity property. We also consider another group category, called the subgroup category, whose morphisms are subgroups of direct products, the composition being star…
Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore ob ject and every left adjoint arrow is comonadic.
We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We consider structures on decorated 2-categories allowing us to formally implement arguments of sliding certain squares along…