Related papers: Higher Dimensional Homology Algebra II:Projectivit…

Let $A$ be an abelian topological $G$-module. We give an interpretion for the second cohomology, $H^{2}(G,A)$, of $G$ with coefficients in $A$. As a result we show that if $P$ is a projective topological group, then $H^{2}(P,A)=0$ for every…

Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…

We classify semisimple rigid monoidal categories with two isomorphism classes of simple objects over the field of complex numbers. In the appendix written by P.Etingof it is proved that the number of semisimple Hopf algebras with a given…

We describe free rigid commutative algebras in $2$-presentably symmetric monoidal $(\infty,2)$-categories as oplax colimits over the $1$-dimensional framed cobordism category. The special case of the $(\infty,2)$-category…

I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…

We define and study the Hochschild (co)homology of the second kind (known also as the Borel-Moore Hochschild homology and the compactly supported Hochschild cohomology) for curved DG-categories. An isomorphism between the Hochschild…

In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This…

We give a rather general construction of double categories and so, under further conditions, double groupoids, from a structure we call a `double module'. We also give a homotopical construction of a double groupoid from a triad consisting…

We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives…

We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and…

Let $\Gamma$ be a finite-index subgroup of the mapping class group of a closed genus $g$ surface that contains the Torelli group. For instance, $\Gamma$ can be the level $L$ subgroup or the spin mapping class group. We show that…

In the first part of this paper the projective dimension of the structural modules in the BGG category $\mathcal{O}$ is studied. This dimension is computed for simple, standard and costandard modules. For tilting and injective modules an…

A modular tensor category provides the appropriate data for the construction of a three-dimensional topological field theory. We describe the following analogue for two-dimensional conformal field theories: a 2-category whose objects are…

We prove that the category 2-$ \mathrm{Grpd}(\mathscr{C}) $ of internal $2$-groupoids is a Birkhoff subcategory of the category $ \mathrm{Grpd}^2(\mathscr{C}) $ of double groupoids in a regular Mal'tsev category $\mathscr{C}$ with finite…

Let $G$ be a group with identity $e$. Let $R$ be a $G$-graded commutative ring and $M$ a graded $R$-module. In this paper, we introduce the concept of graded classical and graded strongly classical 2-absorbing second submodules of graded…

On any convex domain in $\mathbb{R}^n$ we can define the Hilbert metric. A projective transformation is an example of an isometry of the Hilbert metric. In this thesis we will prove that the group of projective transformations on a convex…

A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…

A finite connected 2-complex K whose fundamental group is of cohomological dimension 2 is aspherical iff the subgroup \Sigma_K of H_2(K) consisting of spherical 2-cycles is zero. A finite connected subcomplex of an aspherical 2-complex is…

2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…

Let $T=(A,M,0,B)$ be a triangular matrix algebra with its corner algebras $A$ and $B$ Artinian and $_AM_B$ an $A$-$B$-bimodule. The 2-recollement structures for singularity categories and Gorenstein defect categories over $T$ are studied.…