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.
Last updated: May 09 2021 at 16:20 UTC