# Questions tagged [kan-extension]

The kan-extension tag has no usage guidance.

The kan-extension tag has no usage guidance.

34
questions

3
votes

1
answer

184
views

$\require{AMScd}$
Related to this, I have a question about the proof given in Kerodon of the following result:
Proposition 7.3.7.1: Let $C$ be an $\infty$-category, let $\bar{F} : C^\rhd \to D$ be a ...

3
votes

0
answers

139
views

Let's consider an homotopy simplicial chain complex, that is a functor of $\infty$-categories $X_{\bullet} = \textrm{N}(\Delta^{op}) \to \mathcal{C}_{\ge 0}$, where $\mathcal{C}_{\ge 0}$ is the $\...

6
votes

0
answers

128
views

Most Kan extensions arising in nature are pointwise, and this observation prompts Kelly to write [1]:
Our present choice of nomenclature is based on
our failure to find a single instance where a [...

3
votes

0
answers

74
views

Given a bicategory $\mathcal K$, is there a universal construction of a bicategory $\mathcal K'$ and faithful locally fully faithful pseudofunctor $\mathcal K \hookrightarrow \mathcal K'$ such that ...

2
votes

0
answers

168
views

I am following Verdier's notion of derived functors as Kan extensions along the localization $K(\mathcal{A}) \to D(\mathcal{A})$ of the homotopy category of complexes to the derived category.
In the ...

4
votes

0
answers

79
views

A right-closed bicategory [1] is a bicategory that has all right extensions (i.e. right adjoints to precomposition with a fixed 1-cell). A one-object right-closed bicategory is therefore a right-...

1
vote

0
answers

207
views

If $S$ is a scheme, denote by $QCoh(S)$ the $\infty$-derived category of quasi-coherent sheaves on $S$. If $X$ is a prestack, Gaitsgory and Rozenbluym define in their book $QCoh(X)$ as a right Kan ...

3
votes

0
answers

102
views

I'm using a result similar to the one below, and I would like to know if there is a reference that I can cite. It's easily proved, by "following your nose". The cell $G\phi.\eta_A$ is often ...

3
votes

1
answer

158
views

Under good conditions [1], any functor $F: C \to D$ induces a codensity monad $T: D \to D$ as a right Kan extension of $F$ along itself. It does not say explicitly, but by considering left/right Kan ...

7
votes

0
answers

231
views

Suppose $A \to B$ be a fully faithful (codense if it helps, i.e. every object in $B$ is the small limit of a diagram in A) embedding of categories. Let $b$ be an object of $B$, $Hom_B(b,-)$ defines (...

6
votes

1
answer

264
views

$\DeclareMathOperator\Ab{Ab}\DeclareMathOperator\Ho{Ho}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Hotc{Hotc}\DeclareMathOperator\Sm{Sm}$Let $\mathcal{C}\overset{\iota}{\longrightarrow} \mathcal{...

11
votes

2
answers

671
views

I asked this same question on MathUnderflow two weeks ago but didn't receive any answer. Now that I am thinking more, it feels like the most suitable place for this question is here.
I have a good ...

7
votes

0
answers

240
views

Consider the 2-category $\mathsf{MonCat}$ where objects are monoidal categories,
1-cells are strong monoidal functors, and 2-cells are monoidal natural transformations.
Given arrows $f: \mathsf{C} \to ...

1
vote

0
answers

99
views

Let $G:\mathcal{B}\longrightarrow \mathcal{A}$ be some functor which admits a right Kan extension along itself, $(\operatorname{Ran}_G G, \eta:\operatorname{Ran}_G G \circ G \rightarrow G)$.
The ...

6
votes

1
answer

282
views

The title pretty much sums it up.
More in detail. Let $C$, $D$ and $E$ be categories, let $F:C\to D$ and $G:C\to E$ be functors, and let $P:C^{op}\to \mathrm{Set}$ be a presheaf. The colimit of $F$ ...

10
votes

2
answers

411
views

Every monoidal category $(\mathcal{C},\otimes)$ can be seen as a one-object bicategory: the morphisms are the objects of $\mathcal{C}$, and the $2$-morphisms are the morphisms of $\mathcal{C}$. In ...

1
vote

1
answer

240
views

Let $F:\mathcal{C}\to\mathcal{D}$ be a functor between small categories. We define the functor
\begin{align*}
f:\hat{\mathcal{D}}&\longrightarrow\hat{\mathcal{C}} \\
G&\longmapsto G\circ F^{\...

4
votes

0
answers

231
views

Let $S,T:\Gamma^{\text{op}}\to \mathsf{Top}_*$ be two $\Gamma$-spaces ($\Gamma^{\text{op}}$ being the category of finite based sets $r_+=\{*,1,\dotsc,r\}$ with based maps as morphisms. The “op” has ...

3
votes

0
answers

178
views

Let $A,B$ be sufficiently connected spaces so as to have the category of coverings equivalent to the category of representations of the fundamental groupoid.
Given a covering map of $A$ and a ...

4
votes

1
answer

683
views

This answer by Emily Riehl mentions a to-be-published proof of the fact that $\infty$-categorical (pointwise) Kan extensions exist when the target category admits (co)limits indexed by the relevant ...

2
votes

0
answers

184
views

I am studying homotopical cosheaves, and I came up with the following "conjecture".
We can see an "additive" precosheaf in chain complexes (such that corestrictions do not commute on the nose) as a ...

5
votes

0
answers

301
views

Assume that we have a pair of functors $Y:A \to B$ and $F:A \to C$ where $A$ is an essentially small category, $B,C$ are cocomplete categories and $Y,F$ preserve colimits. Assume also that for some ...

12
votes

1
answer

408
views

Let $j: \mathsf A \to \mathsf B$ be a fully faithful and dense functor where $\mathsf A$ is a small category and $\mathsf B$ is cocomplete. Let $(T, \eta, \mu)$ be a monad over $\mathsf A$.
$\require{...

4
votes

2
answers

646
views

Kan extension are an incredibly useful concept when they exist. My question is: can we still derive information about a functor when Kan extensions don't exist, and if so, what information and in what ...

4
votes

1
answer

168
views

Suppose the right Kan extension $\text{Ran}_F G$ of a conservative functor $F$ along a conservative functor $G$ exists (with the category $\text{dom} F=\text{dom} G$ not necessarily small).
Is it ...

11
votes

1
answer

377
views

Suppose that you want to look at the left Kan extension of a functor $F : \mathcal{C} \to \mathcal{A}$ along a functor $K : \mathcal{C} \to \mathcal{B}$. It is widely known that if the colimit of the ...

4
votes

1
answer

563
views

So I wonder if it is possible that a left Kan extension of a fully faithful functor $F$ along some other fully faithful functor $G$ (over a small category) agrees with (is isomorphic to) the right Kan ...

4
votes

1
answer

415
views

A functor $F:\mathcal{C}\to \mathcal{D}$, from an essentially small category to a cocomplete category induces a realisation-nerve adjunction between the categories $\mathbf{Fun}(\mathcal{C}^{op},\...

1
vote

1
answer

276
views

Let $C$ be a category, $D$ be a Grothendieck topos, and suppose we have a fully faithful, left-exact functor $F:C\rightarrow D$. Let $Lan_{y}F:PShv(C)\rightarrow D$ be the Yoneda extension of $F$. ...

1
vote

0
answers

177
views

In Categories for Working Mathematician, Mac Lane describe a cartesian product as a limit for a functor $F$ from a discrete category $|J|$ : Any cone from an object $Z$ to $F$, is a collection of ...

2
votes

1
answer

325
views

Let $C$ be a category and let $F:C\rightarrow D$ be a functor with $D$ locally presentable and cartesian closed. When does the Yoneda extension $\widehat{F}=Lan_{y} F:[C^{op},Set]\rightarrow D$ ...

13
votes

3
answers

2k
views

It's been a long time since I tried to understand the deep meaning of the "Kan construction", or "nerve-realization" adjunction
$$
\text{Lan}_y F \dashv N_F = \hom(F,1)
$$
that exists among the left ...

12
votes

4
answers

1k
views

Kan extensions make sense in any $2$-category. But so far I have only really seen them in the case of the $2$-category of categories, functors, natural transformations and the $2$-category of $k$-...

7
votes

2
answers

431
views

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