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