Kan Extensions
Kan Extension is a universal construction in category theory that extends a functor along another morphism of categories in the most efficient way, characterized by a natural correspondence between morphisms involving the extended functor and the original data.
60
Publications
1.7K
Citations
85
Authors
44
Institutions
Publications per year
2017–2026
9
Variants
Kan Extension
Parents
60
Joseph A. Goguen, Grigore Roşu · Formal Aspects of Computing · 2002 · 175 citations
Wojciech Chachólski, Jérôme Scherer · Memoirs of the American Mathematical Society · 2002 · 99 citations · Full text
Freer monads, more extensible effects
Oleg Kiselyov, Hiromi Ishii · 2015 · 88 citations
Computing, Computer Science, Algebra +14
1–5 of 60
85
3
h-index
3
h-index
2
h-index
2
h-index
2
h-index
1–5 of 85
44
Max Planck Institute for Mathematics
Bonn, Germany
6 h-index
7 publications
354 citations

The University of Sydney
Sydney, Australia
4 h-index
7 publications
165 citations

Bangor University
Bangor, United Kingdom
3 h-index
4 publications
137 citations
Max Planck Society
Munich, Germany
3 h-index
4 publications
272 citations
Parco Nazionale d'Abruzzo
Molise, Italy
2 h-index
2 publications
90 citations
University of Cambridge
Cambridge, United Kingdom
2 h-index
2 publications
90 citations

Tohoku University
Sendai, Japan
2 h-index
2 publications
119 citations

Universidad de Granada
Granada, Spain
2 h-index
5 publications
79 citations
1–8 of 44
Repository · 11 publications · 182 citations
10
h-index
TRAN · 8 publications · 208 citations
8
h-index
3 publications · 61 citations
3
h-index
JB · 3 publications · 157 citations
3
h-index
TAC · 3 publications · 39 citations
3
h-index
1–5