# Questions tagged [kan-extension]

The kan-extension tag has no usage guidance.

15
questions

**1**

vote

**1**answer

171 views

### Existence of pointwise Kan extensions in $\infty$-categories

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

137 views

### Homotopy Colimit of ?ech Complex

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

**4**

votes

**0**answers

167 views

### When do Kan extensions preserve colimits?

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

**8**

votes

**0**answers

179 views

### Extending monads along dense functors

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

**3**

votes

**2**answers

386 views

### When Kan extensions don't exist

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

**3**

votes

**1**answer

123 views

### Kan extension of conservative functors

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

**10**

votes

**1**answer

246 views

### About pointwise Kan extension

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

460 views

### Are left and right Kan extensions ever isomorphic?

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

251 views

### Is the singular simplicial functor full

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

196 views

### Faithfulness of Right adjoint to Kan extension

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

84 views

### Limit as a pushout

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

**2**

votes

**1**answer

208 views

### Yoneda extension preserving finite products?

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

**8**

votes

**3**answers

1k views

### The Kan construction, profunctors, and Kan extensions

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

**6**

votes

**2**answers

651 views

### Kan extensions in the $2$-category of monoidal categories

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

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