Related papers: A Mackey-functor theoretic interpretation of biset…
We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of $k$-classes. We apply the latter to both ordinary and higher…
Let $p$ be a prime number, let $H$ be a finite $p$-group, and let $\mathbb{F}$ be a field of characteristic 0, considered as a trivial $\mathbb{F} \mathrm{Out}(H)$-module. The main result of this paper gives the dimension of the evaluation…
Motivated by appearance of multisemigroups in the study of additive $2$-categories, we define and investigate the notion of a multisemigroup with multiplicities. This notion seems to be better suitable for applications in higher…
We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colimits, filteredness and cofinality; in…
Actions of monoidal categories on categories, also known as actegories, have been familiar to category theorists for a long time, and yet a comprehensive overview of this topic seems to be missing from the literature. Recently, actegories…
The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…
In this paper we show that the Baues-Wirsching complex used to define cohomology of categories is a 2-functor from a certain 2-category of natural systems of abelian groups to the 2-category of chain complexes, chain homomorphism and…
This note is a contribution written for the second volume of the Encyclopedia of mathematical physics. We give an informal introduction to the notions of an $(\infty,n)$-category and $(\infty,n)$-functor, discussing some of the different…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
A general Mackey type decomposition for representations of semisimple Hopf algebras is investigated. We show that such a decomposition occurs in the case that the module is induced from an arbitrary Hopf subalgebra and it is restricted back…
We provide a multiplicative classification of polynomial endofunctors on spectra in terms of their Mackey functors of cross--effects. More precisely, we prove that various categories of multivariable excisive functors from spectra to…
We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.
In this article, we propose a concept of anti-involution for Green biset functors and we provide equivalent definitions. We present $\star$-Green biset functors and we study their orthogonal units and the orthogonal automorphisms in their…
Symmetric cohomology of groups, defined by M. Staic in [2], is similar to the way one defines the cyclic cohomology for algebras. We show that there is a well-defined restriction, conjugation and transfer map in symmetric cohomology, which…
We study polynomial functors in the incompressible category $\text{Ver}_4^+$, which can be viewed as super polynomial functors in characteristic 2. Concretely, we classify additive, exact and simple polynomial functors, and describe how…
A category of FI type is one which is sufficiently similar to finite sets and injections so as to admit nice representation stability results. Several common examples admit a Grothendieck fibration to finite sets and injections. We begin by…
Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments…
We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…
We study the structure of the category of representations of $\mathbf{FA}$, the category of finite sets and all maps, mostly working over a field of characteristic zero. This category is not semi-simple and exhibits interesting features. We…
We introduce and study the category of $p$-bifree biset functors for a fixed prime $p$, defined via bisets whose left and right stabilizers are $p'$-groups. This category naturally lies between the classical biset functors and the diagonal…