**Puzzle 286**: The dual is a contravariant endofunctor.