Skip to main content
add tags
Link
Mike Shulman
  • 66.8k
  • 7
  • 162
  • 368
Source Link
fosco
  • 13.6k
  • 2
  • 28
  • 77

Lax co/limit as evaluation on terminal/initial

A quick question about lax co/limits.

Strictly, when $F : J\to \bf A$ is a diagram and $J$ has an initial object $\varnothing$, then $\varprojlim F \cong F(\varnothing)$; dually, if $\cal J$ has a terminal object, then $\varinjlim F\cong F(*)$.

If $F$ is a diagram between 2-categories (same notation), and $J$ has a lax initial, lax terminal object, is a similar statement true for lax co/limits?