Zulip Chat Archive
Stream: triage
Topic: issue #1098: examples of (symmetric) monoidal categories
Random Issue Bot (Jan 11 2021 at 14:36):
Today I chose issue 1098 for discussion!
examples of (symmetric) monoidal categories
Created by @Scott Morrison (@semorrison) on 2019-05-30
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 25 2021 at 14:19):
Today I chose issue 1098 for discussion!
examples of (symmetric) monoidal categories
Created by @Scott Morrison (@semorrison) on 2019-05-30
Labels: feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Johan Commelin (Nov 25 2021 at 14:29):
I think we can close this, because I'm quite sure we have all these examples now. But we should check first.
Scott Morrison (Nov 25 2021 at 18:06):
Closed.
Last updated: Dec 20 2023 at 11:08 UTC