Reversing the arrows in a categorical statement produces its dual statement. A theorem holding for all categories therefore has a dual theorem obtained by applying it to the opposite category; for example, categorical limits are exchanged with colimits.
Articles by others on the same topic
There are currently no matching articles.