Why does mathematics seem to have a polarity bias, i.e., why are products more common than coproducts, algebras more common than coalgebras, limits more common than colimits, monads more common than comonads, topoi more common than cotopoicotopoi, etc. despite each pair being in a formal duality?
Became Hot Network Question
I fixed a typo and added a link because I don't think "cotopos" is all that well understood.
David White
- 30.3k
- 9
- 153
- 250