Zulip Chat Archive
Stream: PR reviews
Topic: !4#4560
Scott Morrison (Jun 01 2023 at 18:39):
!4#4560 is the (straightforward, after tweaking the coherence tactic) port of CategoryTheory.Monoidal.Braided, on the longest path to group cohomology (@Kevin Buzzard @Amelia Livingston), and now ready for review.
Scott Morrison (Jun 01 2023 at 21:08):
Independently, but also on the path to group cohomology !4#4563 ports rigid categories.
Last updated: Dec 20 2023 at 11:08 UTC