All Questions
Tagged with limits-and-colimits 2-categories
14 questions
5
votes
0
answers
89
views
Free cocompletion of a 2-category under pseudo colimits, lax colimits, and colax colimits
Let $\mathscr K$ be a small 2-category. It follows from $\mathrm{Cat}$-enriched category theory that the free cocompletion of $\mathscr K$ under strict 2-colimits of 2-functors is given by the 2-...
- 10.6k
3
votes
0
answers
55
views
Universal property of 2-presheaves and pseudo/lax/colax natural transformations
For each small 2-category $\mathscr K$, the 2-category $[\mathscr K^\circ, \mathrm{Cat}]$ of 2-functors and 2-natural transformations has a universal property: it is the free cocompletion of $\mathscr ...
- 10.6k
9
votes
0
answers
103
views
Adjoining a morphism to a finitely complete category
Let $\mathscr C$ be a finitely complete category. Let $x, y$ be objects of $\mathscr C$. We can describe the universal property of freely adjoining a morphism $x \to y$ to $\mathscr C$: it comprises a ...
- 10.6k
9
votes
0
answers
129
views
Is totality a (large) cocompleteness condition?
A locally small category $A$ is called total if its Yoneda embedding $A \to [A^\circ, \mathbf{Set}]$ has a left adjoint. Such categories are necessarily small-cocomplete (since the presheaf category ...
- 10.6k
6
votes
1
answer
267
views
Do the representations of a 2-functor naturally form a contractible 2-category?
In 1-category theory a representation of a 1-functor $F:C\to Set$ is a 0-cell $X$ in $C$ together with a universal element $u\in FX$ such that the transformation $C(X,-)\to F$ is an isomorphism (=a 1-...
- 775
10
votes
0
answers
145
views
Do pseudo 2-limits commute?
It is a well-known fact that if $F:\mathcal{C}_1\times\mathcal{C}_2\rightarrow \mathcal{D}$ is a functor (between 1-categories), then $F$ has a limit if and only if $F:\mathcal{C}_1\rightarrow Fun(\...
- 63.9k
5
votes
1
answer
311
views
Are locally fully faithful 2-functors closed under 2-pushout in 2-Cat?
It is known that fully faithful functors are closed under pushouts in Cat (e.g. Lemma 4.9 of this paper). Are locally fully faithful 2-functors closed under (strict) 2-pushouts in the 2-category 2-Cat ...
- 63.9k
3
votes
1
answer
145
views
Examples of (co)lax idempotent pseudocomonads on Cat
A lax idempotent pseudomonad, also called a KZ doctrine or KZ monad, is a pseudomonad $(T, \mu, \eta)$ with the property that $T \eta \dashv \mu \dashv \eta T$. Lax idempotent pseudomonads were ...
- 66.7k
7
votes
0
answers
266
views
Relation between two limit presentations of Eilenberg--Moore objects
Let $\mathbb{T}=({\cal T}\colon C\to C,\mu,\eta)$ be a monad (in the
$2$-category $\mathsf{Cat}$), which we view as a $2$-functor
$\mathbb{T}\colon\mathsf{B}\Delta_{\mathrm{a}}\to\mathsf{Cat}$ (where
$...
- 446
10
votes
1
answer
333
views
2-monads for categories with a class of (co)limits
This question concerns the strictness of (co)completions, at various levels of generality.
In Blackwell–Kelly–Power's Two-dimensional monad theory, the authors state
For instance, the 2-category $\...
- 940
5
votes
1
answer
339
views
Diagonal of a diagram of codescent objects
Given the following diagram in a $2$-category, in which squares of the same "type" commute, where each column and each row is a strong codescent diagram (Edit: it should be reflexive as well), is ...
- 63.1k
7
votes
1
answer
366
views
Are sifted (2,1)-colimits of fully faithful functors again fully faithful? (And a de-categorified variant)
1) Suppose that I have a sifted diagram of categories $\mathcal{C}_i$, another of the same shape $\mathcal{D}_i$, and that I have a system $F_i:\mathcal{C}_i\to\mathcal{D}_i$ commuting with the ...
- 6,829
2
votes
1
answer
113
views
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 ...
- 66.7k
2
votes
0
answers
101
views
Reference for the existence of bicolimits in groupoids and categories?
I am looking for a reference of these, I would say, very well known facts. (strangely though finding a reference was bit trick for me).
Let $C$ be a category and $F:C\rightarrow Cat$ a 2-functor in ...
- 30.3k