0
$\begingroup$

In the definition of a natural transformation from http://ncatlab.org/nlab/show/natural+transformation

it is said that a natural transformation is $\alpha : F \Rightarrow G$ (and the definition continues)

But what does that $\Rightarrow$ mean, how is it called?

  • 1
    I read that as "maps to"...2011-08-21
  • 0
    Do you mean $\mapsto$ or $\to$?2011-08-21
  • 4
    It's called a arrow/morphism in the functor category if you insist on giving it a name. @J.M. I read that as "$\alpha$ is a natural transformation from $F$ to $G$." or simply "$\alpha$ from $F$ to $G$"2011-08-21
  • 0
    @Theo: I see, thanks for correcting!2011-08-21
  • 1
    I think the use of $\Rightarrow$ for natural transformations is more common among higher categorists, who think of them as $2$-morphisms in the $2$-category $\textbf{Cat}$.2011-08-21
  • 1
    @Zhen: that's a very good point. In fact, I don't know where the notation comes from but it is pretty standard in homological algebra nowadays even without mention of $2$-categorical ideas. I checked the usual suspects and the first reference I've found up to now using the $\Rightarrow$ notation is Bénabou's *[Introduction to bicategories](http://dx.doi.org/10.1007/BFb0074299)*. It doesn't appear that it was used earlier by any of the *founding fathers* Eilenberg-Mac Lane, Ehresmann, Freyd, Gabriel, Grothendieck, Kan, etc.2011-08-21

1 Answers 1

0

Just look in the comments, especially the one by t.b., $\Rightarrow$ is just the notion of natural transformation, nothing more general.