search

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory
http://homotopytypetheory.org/
Other
1.25k stars 193 forks source link

opposite monoidal categories #2013

Closed Alizter closed 2 months ago

Alizter commented 3 months ago

In this PR we introduce some lemmas for dealing with monoidal structures on the opposite category.

Alizter commented 3 months ago

Depends on #2012.