Related papers: On Whitehead's theorem beyond pointed connected sp…

This note establishes that homotopy groups of topological split real Kac-Moody groups are countable and, hence, concludes the existence of Whitehead towers consisting of topological groups for these groups and their maximal compact…

We solve the word problem for free double categories without equations between generators by translating it to the word problem for 2-categories. This yields a quadratic algorithm deciding the equality of diagrams in a free double category.…

We construct an enlargement of the classifying space of mixed Hodge structures with polarized graded quotients, by adding mixed Hodge theoretic version of SL(2)-orbits. This space has a real analytic structure and a log structure with sign.…

We prove that any generating tuple of the fundamental group of a sufficiently large 2-dimensional orbifold is represented by an almost orbifold covering. As a corollary we obtain a generalization of Louder's Theorem which asserts that any…

Among the generalizations of Serre's theorem on the homotopy groups of a finite complex we isolate the one proposed by Dwyer and Wilkerson. Even though the spaces they consider must be 2-connected, we show that it can be used to both…

We classify the twisted tensor products of a finite set algebra with a two elements set algebra using colored quivers obtained through considerations analogous to Ore extensions. This provides also a classification of entwining structures…

Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple…

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…

Evidence is given for the correctness of the Joyal-Riehl-Verity construction of the homotopy bicategory of the $(\infty, 2)$-category of $(\infty, 1)$-categories; in particular, it is shown that the analogous construction using complete…

Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while the homotopy 1-category of a single model category or…

We construct a theory of 2-vector bundles over a Lie groupoid, with fibers modeled by the bicategory of super algebras, bimodules and intertwiners. We demonstrate that these 2-vector bundles form a symmetric monoidal 2-stack. From this…

A group is called capable if it is a central factor group. We characterize the capable 2-generator 2-groups of class 2 in terms of a standard presentation.

In this paper we discuss the categorical properties of $\mathbb{Z}$-graded manifolds. We start by describing the local model paying special attention to the differences in comparison to the $\mathbb{N}$-graded case. In particular we explain…

We derive faithful inclusions of C*-algebras from a coend-type construction in unitary tensor categories. This gives rise to different potential notions of discreteness for an inclusion in the non-irreducible case, and provides a unified…

Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…

Spaces in the genus of infinite quaternionic projective space which admit essential maps from infinite complex projective space are classified. In these cases the sets of homotopy classes of maps are described explicitly. These results…

In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors…

The path spaces of a directed graph play an important role in the study of graph $\css$. These are topological spaces that were originally constructed using groupoid and inverse semigroup techniques. In this paper, we develop a simple,…

While not obvious from its initial motivation in linear algebra, there are many context where iterated traces can be defined. In this paper we prove a very general theorem about iterated 2-categorical traces. We show that many…

In The factorization of the Giry monad (arXiv:1707.00488v2) the author asserts that the category of convex spaces is equivalent to the category of Eilenberg-Moore algebras over the Giry monad. Some of the statements employed in the proof of…