Zulip Chat Archive

Stream: triage

Topic: issue #1093: basic theory of Lie algebras


view this post on Zulip 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?

view this post on Zulip 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.


Last updated: May 09 2021 at 16:20 UTC