Wednesday Meeting, 2023 08 23 - semigroups/Semigroups GitHub Wiki
Wednesday Meeting, 2023-08-23
Lecture Theatre D
Attending
- Reinis Cirpons
- James Mitchell
- Finn Smith
- Murray Whyte
Apologies
- Michael Young
Minutes
| Participant | Activity |
|---|---|
| Reinis Cirpons | Working on one relation monoids, then looking into libsemigroups. |
| James Mitchell | Sharing MT2501 repo with Finn, working on libsemigroups. |
| Finn Smith | Fixing proofs in the matrix paper. |
| Murray Whyte | Writing headlines of things to write up, thinking a bit about the symmetric inverse monoid. |
The meeting began at about 13:55, and ended at about 17:30.