mathlib documentation

category_theory.limits.preserves.opposites

Limit preservation properties of functor.op and related constructions #

We formulate conditions about F which imply that F.op, F.unop, F.left_op and F.right_op preserve certain (co)limits.

Future work #