Closed eparejatobes closed 7 years ago
This is done. The second checkbox above will be done elsewhere, as it requires a good abstract notion of (co)cartesian structure.
implement the (co)product version in terms of them