Zulip Chat Archive

Stream: triage

Topic: PR #4756: feat(algebra/category/Module): direct limit is ...


view this post on Zulip Random Issue Bot (Nov 06 2020 at 14:17):

Today I chose PR 4756 for discussion!

feat(algebra/category/Module): direct limit is a colimit
Created by @Johan Commelin (@jcommelin) on 2020-10-23
Labels: RFC, awaiting-review

Is this PR still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Nov 15 2020 at 14:16):

Today I chose PR 4756 for discussion!

feat(algebra/category/Module): direct limit is a colimit
Created by @Johan Commelin (@jcommelin) on 2020-10-23
Labels: RFC, awaiting-review

Is this PR still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Jan 13 2021 at 14:45):

Today I chose PR 4756 for discussion!

feat(algebra/category/Module): direct limit is a colimit
Created by @Johan Commelin (@jcommelin) on 2020-10-23
Labels: RFC, awaiting-review

Is this PR still relevant? Any recent updates? Anyone making progress?


Last updated: May 09 2021 at 16:20 UTC