Alex Ghorbani

Stream: new members

[Alex Ghorbani]

Hi my name is Alex and I am an undergraduate math student with an interest in contributing to the mathlib, specifically adding to the existing code or writing new stuff about symmetric monoidal categories and frobenius algebras. If anyone is working on, planning to work on, or interested in working on something like this, I would love to discuss!

[Antoine Labelle]

Welcome! If you're interested in monoidal categories there's this project I've been interested in but haven't had the time to work on yet, which is to define and add API for the trace in general rigid categories (see the discussion initiated by @Junyan Xu here on May 2: https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Representation.20Theory, I don't know how to link to the specific message).

[Junyan Xu]

I think it's this message though I am not an expert; @Scott Morrison is not very responsive recently, but @Oleksandr Manzyuk and @Yuma Mizuno might be able to guide you to some extent.