6
$\begingroup$

Functors preserve isomorphisms, sections and retracts. Which of these properties, if any, do functors reflect?

Are there other fundamental properties preserved and or reflected by functors?

Please specify covariant or contravariant if applicable.

Don't assume I understand any cat theory - all I know is triangles and functional languages.

  • 5
    What kind of functors? You always have a functor to the category with one object and one morphism and in the vast majority of cases it doesn't reflect anything.2012-05-17
  • 1
    @t.b., I meant *any* functor - and you provided a textbook worthy counterexample. But the situation seems awfully asymmetrical. Could you suggest an improvement to my Q, maybe conditions on domain or codomain cats such that any functor between them reflects one or more of those properties?2012-05-17
  • 2
    @alancalvitti: A functor that reflects isomorphisms is called a ‘conservative functor’. A fully faithful functor is necessarily conservative, and also reflects sections and retracts.2012-05-18
  • 1
    I suggest you _forget_ about contravariant functors. There is only one type of functors: the covariant one (so you do not need to specify what kind of functor you have). Whenever you see a paper with _contravariant functor_ $F:\mathcal{C}\to\mathcal{D}$, think of it as a _functor_ (ie. a covariant one) from $\mathcal{C}^{Op}$ to $\mathcal{D}$2012-05-18
  • 1
    @alancalvitti: Have you tried to answer your question for constant functors?2012-05-18

1 Answers 1

7

You can find a table of many preserved and reflected properties of functors in wonderful "The Joy of Cats" (JOC) book which you can find online at:

http://www.tac.mta.ca/tac/reprints/articles/17/tr17.pdf

In general:

  • functors need not reflect isomorphisms (JOC 3.22)
  • functors need not reflect sections (JOC 7.23)
  • functors need not reflect retracts (JOC 7.29)

However: full and faithful functors reflect isomorphisms, sections and retracts (JOC 7.30)

  • 1
    Thanks magma - would like to see a DB or theorem-proving system that automatically checks all such properties2012-08-15
  • 0
    Although not mentioned in the book, I think fully faithful functors also reflect limits.2015-07-04