Zulip Chat Archive

Stream: triage

Topic: issue #1093: basic theory of Lie algebras

Random Issue Bot (Mar 31 2021 at 14:24):

Today I chose issue 1093 for discussion!

basic theory of Lie algebras
Created by @Scott Morrison (@semorrison) on 2019-05-28
Labels: feature-request, help wanted

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

Oliver Nash (Mar 31 2021 at 14:52):

Maybe worth commenting that one of the reasons that issue is still open is that I haven't set up the category of Lie algebras and done limit, colimits but that this is something I would like to do once I get some other things out of the way.

Random Issue Bot (Nov 23 2021 at 14:19):

Today I chose issue 1093 for discussion!

basic theory of Lie algebras
Created by @Scott Morrison (@semorrison) on 2019-05-28
Labels: help wanted, feature-request

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

Scott Morrison (Nov 23 2021 at 19:31):

Perhaps we should close this, opening a new one to track representation theory, and whatever else @Oliver Nash thinks should come next?

Oliver Nash (Nov 24 2021 at 09:38):

Yes I agree. I'll close this and open a new issue in its place later today.

Oliver Nash (Dec 28 2021 at 12:58):

Over a month later I finally addressed this issue by closing it and creating a new project instead: https://github.com/leanprover-community/mathlib/projects/14

Last updated: Dec 20 2023 at 11:08 UTC