Zulip Chat Archive
Stream: PR reviews
Topic: category PRs
Johan Commelin (Feb 21 2020 at 14:39):
I invite others to take a look at #1988 (kernels) and #1998 (binary products). I think they look fine, but category theory seems to be tricky to get right.
Last updated: May 02 2025 at 03:31 UTC