Definition talk:Functor/Covariant

From ProofWiki
Jump to navigation Jump to search

In the wake of the recent communication in Definition talk:Commutative Diagram, should the diagonal arrows in the diagram included here be dotted? --prime mover 10:32, 16 August 2012 (UTC)

Maybe technically, yes. But as composite arrows are so predominant in CT, this is not generally done. For proper use, see WP. --Lord_Farin 10:37, 16 August 2012 (UTC)