The grothendieck-construction tag has no usage guidance.

**3**

votes

**1**answer

154 views

### discrete Grothendieck construction

In "BASIC CONCEPTS OF ENRICHED CATEGORY THEORY", (version Reprints in Theory and Applications of Categories, No. 10, 2005), chapter 4.7 p.75-76, Kelly introduces the "discrete Grothendieck ...

**5**

votes

**0**answers

482 views

### Grothendieck problem

Could you suggest me a book or a link where I can find some information about the Grothendieck problem about differential equations?
The Grothendieck problem that I am reffering to is the following: ...

**10**

votes

**1**answer

200 views

### Relationship between two universal properties of the category of elements?

Let $G: \mathcal{A} \to \mathsf{Set}$ be a functor. Recall that the category of elements $\mathsf{el}G$ is defined by the comma square
$\require{AMScd}$
\begin{CD}
\mathsf{el}G @>!>> ...

**1**

vote

**0**answers

106 views

### Homology and Burnside ring

If $G$ is a finite groupe, we denote $\mathcal{S}(G)$ the category of finite $G$-sets and $\mbox{I}(G)$ the set of isomorphism classes of it's objects. The Burnside ring of $G$, denoted by ...

**1**

vote

**0**answers

171 views

### Reference request: Grothendieck construction for $\mathbb V$-distributors?

I'm currently working with an analogue of the Grothendieck construction for enriched categories:
Given a distributor a.k.a. $\mathbb V$-functor $D:X^\mathrm{op}\otimes Y\to \mathbb V$ there is a ...

**4**

votes

**2**answers

346 views

### grothendieck construction for profunctors

Given categories $X$ and $Y$ and a strong functor
$$D:X^{op}\times Y\to Cat$$
we can of course build the oplax colimit
$$\mathrm{colim}^{oplax}_{X^{op}\times Y}D$$
via the usual (covariant) ...

**1**

vote

**0**answers

139 views

### Composition of Cat-valued distributors - compatible with grothendieck construction?

Let $C$ be a category and $F\in[C^{op}, Cat]$ be a strong functor.
(1) There are functors
$$hom_C(c',c)\times F(c)\to F(c').$$
(2) The grothendieck construction gives a 2-equvalence
$$\int_C: ...

**2**

votes

**1**answer

598 views

### Strong colimits of categories.

Let $\mathcal C$ be a category and let $\mathcal F:\mathcal C\to\mathcal C\textrm{at}$ be a strong bifunctor. Given another category $\mathcal D$, let $\triangle_{\mathcal D}$ denote the constant ...

**5**

votes

**1**answer

341 views

### Reference request: 2-Grothendieck Construction

Hi Folks,
i'm looking for a reference on the 2-grothendieck construction for a functor $F:\mathcal{I}\to \mathcal{B}\mathrm{icat}$ from a bicategory $\mathcal{I}$ to the tricategory of bicategories. ...