3 ms·

> then you can "lift" I would say "sigh", but you have to say what you mean.

• jkhdigital 5y ago
  Do you say "sigh" because the functor arrows typically go sideways in a diagram? I'm taking a classroom course in category theory right now, but it's my first exposure to actual formal instruction in this subject so I don't know all the standard terminology just yet.
• lmm 5y ago
  The point of the quotes around "lift" are that it's a new concept being defined here?