Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Codescent and bicolimits of pseudo-algebras   We categorify cocompleteness results of monad theory, in the context of
pseudomonads. We first prove a general result establishing that, in any
2-category, weighted bicolimits can be constructed from oplax bicolimits and
bicoequalizers of codescent objects. After some prerequisites on pseudomonads
and their pseudo-algebras, we give a 2-dimensional Linton theorem reducing
bicocompleteness of 2-categories of pseudo-algebras to existence of
bicoequalizers of codescent objects. Finally we prove this condition to be
fulfilled in the case of a bifinitary pseudomonad, ensuring bicocompleteness.

24
The categories of this paper are: dg-ga
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th