# nLab coherence theorem for bicategories with finite limits

### Context

#### 2-Category theory

2-category theory

## Structures on 2-categories

#### Limits and colimits

limits and colimits

## Theorem

###### Theorem

(Power) Any bicategory with finite bilimits is equivalent to a strict 2-category with finite flexible limits.

###### Proof

Let $K$ be a bicategory with finite bilimits, let $K \hookrightarrow [K^{op},Cat]$ be its Yoneda embedding, and let $K'$ be the closure of $K$ in $[K^{op},Cat]$ under finite flexible limits. Since $Cat$ is a strict 2-category with finite flexible limits, so is $[K^{op},Cat]$. And since $K$ has finite bilimits, and these are preserved by its Yoneda embedding, while flexible limits are in particular bilimits, every object of $K'$ is equivalent to an object of $K$. Thus, $K\simeq K'$.

## References

• John Power, “Coherence for bicategories with finite bilimits”, Categories in computer science and logic, 1989.

Revised on October 6, 2012 14:31:36 by Urs Schreiber (82.113.99.144)