# Questions tagged [2-categories]

The 2-categories tag has no usage guidance.

**6**

votes

**1**answer

206 views

### Does the Dwyer-Kan model structure make dgCat a model $2$-category?

Let dgCat be the category of small dg-categories. The well-known Dwyer-Kan model structure makes dgCat a model category.
Now we consider dgCat as a 2-category, which objects small dg-categories, $1$-...

**2**

votes

**1**answer

82 views

### When does a 2-functor or 2-monad of Cat lift to a psuedofunctor or pseudomonad on Prof?

I'm currently reading Richard Garner's paper Polycategories via pseudo-distributive laws, and a central construction is the lifting of the symmetric strict monoidal category 2-monad to a pseudomonad ...

**8**

votes

**1**answer

143 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**

votes

**0**answers

132 views

### Double-categorical refinement of twisted arrow category: does it have a name?

Let $C$ be a category. The twisted arrow category $Tw(C)$ can be refined to a double category $TTw(C)$ by making morphisms on the left "vertical" and morphisms on the right "horizontal".
Question: I'...

**3**

votes

**3**answers

183 views

### On 2-actions of strict 2-groupoids?

I'm looking for an opinion if the following makes sense.
A linear representation of a groupoid $\mathcal{G}$ is a functor $$\nabla: \mathcal{G}\longrightarrow \mathsf{Vect}_{\mathbb K},$$ where $\...

**7**

votes

**0**answers

159 views

### The category of elements corresponding to a coend as a higher colimit

Let $D: \mathcal{C} \to \mathbf{Set}$ be a diagram of sets, then we can obtain the colimit of $D$ as the set of connected components of the category of elements of $F$, which we denote by $\mathrm{el}(...

**4**

votes

**2**answers

386 views

### Twisted-arrow construction for 2-categories

I've been looking over Lurie's DAG X, and he introduces a combinatorial construction called the twisted arrow construction for simplicial sets that generalizes the following ordinary categorical ...

**6**

votes

**1**answer

176 views

### Has anybody studied strict/pseudo morphisms of monads?

There is a notion of morphism from a monad $T:\mathscr C\to \mathscr C$ to another one $T':\mathscr C'\to \mathscr C'$. It arose here on MO e. g. in "Functors between monads": what are these ...

**8**

votes

**0**answers

163 views

### Pushouts of commutative pseudomonoids

Let $(\mathcal{C},\otimes)$ be a symmetric monoidal bicategory. Assume that $\mathcal{C}$ has bicategorical coequalizers which are preserved by $\otimes$ in each variable. My question is if then the ...

**7**

votes

**1**answer

312 views

### Yoneda Lemma for internal presheaves

I'm looking for a reference explaining under what conditions the internal Yoneda lemma holds; in particular, I am wondering if it is known what properties of the ($2$-)category of categories are ...

**2**

votes

**1**answer

74 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 ...

**4**

votes

**0**answers

67 views

### To what kind of generalized Lawvere theory does the “free cartesian closed category” 2-monad on $\mbox{Cat}_g$ correspond?

Thinking of Cat as a mere 1-category, there is a 1-monad $\Lambda$ for the free cartesian closed category on a category. To every category X it assigns the category $\Lambda(X)$ whose objects are ...

**5**

votes

**0**answers

198 views

### On Isbell's “On coherent algebras and strict algebras”

In section 1.2 (p. 284) of his "Coherence theorems for lax algebras and for distributive laws," Kelly writes:
It is a special case of the assertion of Isbell in [7], but this assertion has been ...

**1**

vote

**1**answer

208 views

### Comma category as weighted limit

Let $F : C \to E$ and $G : D \to E$ be functors. Consider the comma category $(F \downarrow G)$ with its projections $\pi_1 : (F \downarrow G) \to C$ and $\pi_2 : (F \downarrow G) \to D$. Using the ...

**0**

votes

**1**answer

80 views

### Equality of lax natural transformations in the constructive approach

In the constructive approach to category theory, a category comes equipped with an equality (an equivalence relation) between its morphisms but not between its objects.
Let C and D be such categories,...

**4**

votes

**1**answer

213 views

### Whiskering approach to strict 2-categories: literature reference needed

I am familiar with the nLab web page that nicely lays out the axioms needed to define strict 2-categories using whiskering as opposed to horizontal composition of 2-cells. However, I am old fashioned ...

**2**

votes

**0**answers

63 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 ...

**1**

vote

**0**answers

47 views

### Pseudopullback of dimension three

What is the name of the appropriate analogue of the pseudopullback for dimension three?
That is to say, a pseudonatural equivalence $fg\simeq hj $ which is universal in the obvious sense...
Thank ...

**2**

votes

**1**answer

78 views

### Why does vertical multiplication in 2-groups not follow the same order as horizontal one when constructed from crossed modules?

Consider a 2-group (seen as a 2-category with only one object $\star$) constructed from a crossed module $(G,H,t,\rhd)$ ($\circ$ will denote 1-morphisms composition, $\circ_{h}$ 2-morphisms horizontal ...

**8**

votes

**2**answers

445 views

### Is dgCat a category or a 2-category?

Let us consider dgCat, the "collection" of all small dg-categories. In On differential graded categories and Lectures on dg categories the authors state that they form a category, i.e. dgCat has ...

**2**

votes

**0**answers

68 views

### Cancellation property of groupoidal cartesian fibrations

I have an issue concerning a property of "left cancellation" for groupoidal cartesian fibrations of ∞-cosmoi (but everything works fine in a 2-category as well).
A 1-cell $p: E \to B$ is called ...

**1**

vote

**2**answers

185 views

### Completion under weighted limits/colimits

Is there any further reference besides "Basic Concepts of Enriched Categories" (Kelly) for completion under T-(weighted) limits/colimits?
(in which T is a set of weights)
Thank you in advance

**10**

votes

**1**answer

401 views

### On the coherence theorem for bicategories

The coherence theorem for bicategories, as usually stated, reads
Any bicategory $B$ is biequivalent to a (strict) 2-category.
It is possible to give an explicit construction of the strictification ...

**7**

votes

**2**answers

271 views

### Kan extensions in concrete 2-categories

Kan extensions make sense in any 2-category. I am interested in Kan extensions in "concrete" 2-categories consisting of actual categories with some sort of structure (e.g., finite products, finite ...

**9**

votes

**2**answers

1k views

### 2-category theory

I know that we can do a lot of 2-category theory, seeing 2-categories as Cat-enriched categories. Yet, I know that there are some limitations of this approach.
I also know that there are many articles ...

**4**

votes

**1**answer

156 views

### Kan extension pseudonatural transformations

Consider the 2-category $[S, H] $ of 2-functors $S\to H $ (in which, obviously, $S$ and $H$ are 2-categories). And consider a (possibly fully faithful) functor $T: S\to Z $
For simplicity, let's ...

**5**

votes

**1**answer

186 views

### Question regarding 2-mathematics: Can you stackify a 2-functor without prestackifying it first?

Let $C$ be a site and $CAT$ the 2-category of categories. Given a contravariant 2-functor $A:C\rightarrow CAT$, we can of course consider the associated stack. This is done by first considering the ...

**7**

votes

**2**answers

357 views

### How to construct a free 2-group on a groupoid?

Let G
be a groupoid. I'm wondering how to construct the free 2-group on G.
By the free 2-group I mean a 2-group $\mathcal{F}\left(G\right)$
equipped with a functor $i:G\longrightarrow\mathcal{F}\...

**2**

votes

**0**answers

78 views

### Pseudofunctors of 2-variables and Gray tensor product of bicategories

Let $\mathcal{A}, \mathcal{B}, \mathcal{C}$ be bicategories. We say a 'pseudofunctors of 2-variables' consists of two families of pseufunctors
Fix $A\in obj\mathcal{A}$, we have a pseudofunctor $f(A,-...

**3**

votes

**0**answers

116 views

### Bicategorical limits with parameters

(This question was asked in https://math.stackexchange.com/questions/741334/bicategorical-limits-with-parameters with no answer.)
Let $F(-,-)\colon \mathcal{A}\times \mathcal{B}\to \mathcal{C}$ be a ...

**4**

votes

**1**answer

679 views

### A question on the Grothendieck construction

The usual Grothendieck construction is for pseudofunctors $I^{op}\to Cat$, where $I$ is a 1-category and $Cat$ is the 2-category of 1-categories. The Grothendieck construction produces a category with ...

**4**

votes

**2**answers

332 views

### Transporting algebraic structure along adjoint equivalences

I have two questions, one general and the other particular to the case I am interested in.
The 'homotopically correct' notion of equivalence of categories is an adjoint equivalence (from one point of ...

**3**

votes

**0**answers

143 views

### Recognition principle for 2-categories (2-groupoids)

Given a 2-category (i.e. bicategory) $C$ there is a unitary geometrical nerve whose 0-simplices are objects of $C$, 1-simplices are 1-arrows of $C$, 2-simplices are 2-commutative triangles (in certain ...

**7**

votes

**1**answer

422 views

### Is a weak monoidal category a monoid object in some category?

A monoid in the Category Cat is a strict monoidal category according to Wikipedia. Is it possible to weaken the monoid so that its realisation in Cat is a weak monoidal category? Do we shift up a ...