Skip to main content

All Questions

7 votes
0 answers
192 views

Examples of nonpointwise Kan extensions that "play a mathematical role"

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 [...
varkor's user avatar
  • 9,521
6 votes
1 answer
389 views

Is there such a thing as a weighted Kan extension?

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$ ...
geodude's user avatar
  • 2,129
4 votes
1 answer
188 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 ...
Wolttlow's user avatar