Talk:Kan extension
 | This  level-5 vital article is rated Start-class on Wikipedia's content assessment scale.It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Summary
[edit]I think the summary is by far not informative enough. IMHO, a reader acquitted with category theory should get a better view than "all concepts are Kahn extensions".
In general, most articles about CT are too cryptic.
Names
[edit]Pardon the bike-shedding, but IIUC, using ε and η for (resp.) the left and right Kan extensions' natural transformations makes them reversed when considering adjunctions as Kan extensions. IOW, since η is the name of the unit, going from 1 to GF, it should be the name used for the *left* Kan extension, not the right one, no? Luke Maurer (talk) 01:58, 22 April 2016 (UTC)
I agree (6 years later) and changed it. SemperVinco (talk) 01:31, 27 February 2022 (UTC)
Kan extensions as (co)limits
[edit]I think it would be much better if one could write down how morphisms are handled by the functor. It is an essential part of a functorial assignment. — Preceding unsigned comment added by 188.109.93.69 (talk) 13:35, 6 November 2016 (UTC)