**Data**

- Title: Finitary birepresentations of finitary bicategories
- Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer
and Xiaoting Zhang
- Status: Preprint. Last update: Tue, 4 Aug 2020 15:44:46 UTC
- ArXiv link: https://arxiv.org/abs/2008.01658
- LaTex Beamer presentation: Slides

**Abstract**

In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to
finitary birepresentation theory of finitary bicategories.
In previous papers on the subject, the classification of simple transitive $2$-representations of a given $2$-category was reduced to that for
certain subquotients. These reduction results were all formulated as bijections between equivalence classes of $2$-representations.
In this paper, we generalize them to biequivalences between certain $2$-categories of birepresentations.

**A few extra words**

Finitary $2$-representation theory of finitary $2$-categories, which is the categorical analog
of finite dimensional representation theory of finite dimensional algebras.
The main reason for restricting the framework to $2$-representations of $2$-categories,
was to avoid technical difficulties which naturally arise when one considers
birepresentations of bicategories in general: by weakening the axioms, the proofs of most results require more and bigger diagrams, whose commutativity is not always easy to show.
However, in the recent preprint

MMMTZ on the $2$-representation theory of Soergel bimodules of finite Coxeter type,
it became clear that the $2$-categorical setup is really too restrictive.

The main purpose of this paper is therefore to discuss the generalization of some important
foundational results on finitary $2$-representation theory to finitary birepresentation theory. By discussing, we mean formulating those results carefully
in the greatest possible generality (or at least as generally as we currently can) and proving them in detail whenever the proof
is not straightforward and cannot be found in the literature.
A lot of the results in this paper will not surprise the experts, but we think that it is important to have the statements and their
proofs, which sometimes involve quite complicated diagrams, in written form somewhere in the
literature.

An example of what changes in this bicategorical setup compared to the $2$-categorical one is

which is an adjunction (a.k.a. zigzag) relation, coming now with associators and unitors.