The torus is a commutative group object

Stream: toric

[Andrew Yang]

I thought this is done by the code I sent Michał?

[Michał Mrugała]

It mostly is, we just need to lift it to the over category and describe the character group now.

[Paul Lezeau]

Yaël Dillies said:

• Michał Mrugała, Yaël Dillies: The torus is a commutative group object

I can help out with this at Xena tomorrow

[Kevin Buzzard]

@Michał Mrugała do you know about Xena? You're welcome to come along. Thursdays 5-8 at Imperial (Huxley building, big computer room on 4th floor)

[Michał Mrugała]

Yes, coming today :)

[Notification Bot]

8 messages were moved here from #toric > Current tasks by Yaël Dillies.