I'm studying Cubical Type Theory and I see the word "Kan operations" (ref1, ref2, ref3, and there are many more), which is related to "adding a cap to a tube" (can be also explained as "given a path between a and b, and two paths that are between a and c/b and d respectively, we can use Kan operations to get a path between c and d").

I wonder if there's any references that can explain where this "Kan" word come from -- what does it mean? Is that "Kan extensions" in Category theory?

  • 1
    $\begingroup$ It’s a personal name. Daniel Kan. $\endgroup$ May 14, 2019 at 22:29

1 Answer 1


Kan operations are likely named after Daniel M. Kan, in analogy to concepts such as Kan extensions, Kan complexes, Kan fibrations, Kan condition, and many more. Kan also introduced adjoint functors.

  • $\begingroup$ Does that mean "filling something" then? $\endgroup$
    – ice1000
    May 16, 2019 at 0:44
  • $\begingroup$ Kan operation seems to be shorthand for Kan filling operation, but I don’t really know anything about this area. $\endgroup$ May 16, 2019 at 5:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.