Related papers: Fibered Biset Functors
It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in…
For a Green biset functor $A$, we define the commutant and the center of $A$ and we study some of their properties and their relationship. This leads in particular to the main application of these constructions: the possibility of splitting…
A weak bialgebra is known to be a special case of a bialgebroid. In this paper we study the relationship of this fact with the Tannaka theory of bialgebroids as developed in [4]. We obtain a Tannaka representation theorem with respect to a…
We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of arbitrary type and let $\mathcal{C}_{\mathfrak{g}}$ be Hernandez-Leclerc's category. We can associate the quantum affine Schur-Weyl duality functor $F_D$ to a duality datum $D$ in…
The bicategorical point of view provides a natural setting for many concepts in the representation theory of monoidal categories. We show that centers of twisted bimodule categories correspond to categories of 2-dimensional natural…
We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates…
We consider the 3-category $2\mathfrak{C}at$ whose objects are 2-categories, 1-morphisms are lax functors, 2-morphisms are lax transformations and 3-morphisms are modifications. The aim is to show that it carries interesting…
Bisimulation up-to enhances the coinductive proof method for bisimilarity, providing efficient proof techniques for checking properties of different kinds of systems. We prove the soundness of such techniques in a fibrational setting,…
We define a new notion of fiber-wise linear differential operator on the total space of a vector bundle $E$. Our main result is that fiber-wise linear differential operators on $E$ are equivalent to (polynomial) derivations of an…
On the category of bisimplicial sets there are different Quillen closed model structures associated to various definitions of fibrations. In one of them, which is due to Bousfield and Kan and that consists of seeing a bisimplicial set as a…
We show that the derived $\infty$-category of permutation modules is equivalent to the category of modules over the Eilenberg-MacLane spectrum associated to a constant Mackey functor in the $\infty$-category of equivariant spectra. On such…
The purpose of this paper is to develop a new theory of gauges in mixed characteristic. Namely, let $k$ be a perfect field of characteristic $p>0$ and $W(k)$ the $p$-typical Witt vectors. Making use of Berthelot's arithmetic differential…
Let $G$ be a finite group and $k$ a field of prime characteristic $p$. We give a complete classification of endotrivial complexes, i.e. determine the Picard group $\mathcal{E}_k(G)$ of the tensor-triangulated category…
We introduce a new family of monoidal categories which are cyclotomic quotients of the nil-Brauer category. We construct a monoidal functor from the cyclotomic nil-Brauer category to another monoidal category constructed from singular…
We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…
The lifting problem for continuous bi-equivariant maps and bi-equivariant covering homotopies is considered, which leads to the notion of a bi-equivariant fibration. An intrinsic characteristic of a bi-equivariant Hurewicz fibration is…
Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets…
Given any equigenerated monomial ideal $I$ with the property that the defining ideal $J$ of the fiber cone $ F(I)$ of $I$ is generated by quadratic binomials, we introduce a matrix such that the set of its binomial $2$-minors is a…
The fibre theorem \cite{schm2003} for the moment problem on closed semi-algebraic subsets of $\R^d$ is generalized to finitely generated real unital algebras. As an application two new theorems on the rational multidimensional moment…