5
$\begingroup$

What are the reasons for the adjunction symbol $F\dashv G$ for a pair of functors $F:C\to D$ and $G:D\to C$? There is no explanation or motivation in the article of Kan where adjunctions are introduced.

The question was previously asked on MathStackExchange without getting an answer.

Improve this question
$\endgroup$
2
  • 2
    $\begingroup$ Clive Newstead has a sensible suggestion at math.stackexchange.com/q/2693873/87355 : adjoint = "attached to something else", which is what $\dashv$ shows $\endgroup$
    – Carlo Beenakker
    Commented Apr 17 at 8:48
  • 1
    $\begingroup$ Kan's paper introduces the symbol $\dashv$ in Definition 3.1. I don't know where he got it from, but my guess is that it came from "adjoints" in linear algebra. $\endgroup$
    – Paul Taylor
    Commented Apr 17 at 10:08

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .