2021 Academic Activities
November-December 2021
- Finalized marks for Foundations of Abstract Mathematics I, II and an honors module in Logic.
- Resumed research on a noetherian form of sets.
- The binary matrix properties paper submitted for publication (corresponding author: M. Hoefnagel) - see the submitted version of the paper here.
- The revised version of the paper on matrix taxonomy re-submitted for publication (corresponding author: M. Hoefnagel) - see the new version here.
- Talk given at SAMS Congress on the matrix project - see the write-up of the talk here.
- At the SAMS AGM held during the congress, I was appointed to serve on the SAMS Council as the President of the South African Mathematical Society for 2022-2023.
- Plenary talk given at the 4th BRICS Mathematics Conference on noetherian forms (slides, recording). This talk was given jointly with Amartya Goswami.
- Funding awarded for the NITheCS research programme in Mathematics, entitled "Space-like mathematical structures and related topics in algebra, logic and computation", which was expanded to include 20 mathematicians in South Africa.
- Mathematical Sciences Programme tasks continued.
September-October 2021
- Paper published: linear exactness properties in Journal of Algebra. See the paper on the journal's website here.
- Some progress made on the SOFiA project, including implementation of an intuitive command-line proof building interface for sofia.py. Used this tool in the delivery of the Foundations of Abstract Mathematics I seminar in the fourth term.
- The binary matrix properties paper finalized from my side.
- Worked on the revision of the matrix taxonomy paper. Revision in progress can be found here.
- Together with Amartya Goswami, gave a NITheCS mini-school (October 2021) on Elementary Introduction to Category Theory. See this blog for the write-up and links to video-recordings of lectures.
- Talk given at SIC on forms vs monoidal categories. See the write-up and the recording of the talk here. See the recordings of all talks here.
- Examiners nominated for the MSc Thesis of Paul Hugo, to be finalized by the end of the year.
- Developed a NITheCS national programme in Mathematics for 2022, under collaboration with Amartya Goswami, Partha Pratim Ghosh and Yorick Hardy.
July-August 2021
- Further progress made on the binary matrix properties paper.
- Started writing a book in abstract algebra jointly with Amartya Goswami. You can follow the progress here.
- Started work on some tasks related to the Mathematical Sciences Programme.
- Teaching Foundations of Abstract Mathematics II in the third term and honor module in Logic in the second semester.
- Started sketching ideas for a NITheCS national programme in Mathematics for 2022.
May-June 2021
- The paper on linear exactness properties, joint work with Pierre-Alain Jacqmin, was accepted for publication in Journal of Algebra (it is scheduled for publication in October 2021 - follow the link).
- Started (co-)supervision of PhD studies of Brandon Laing on SOFiA.
- Started supervision of PhD studies of Ineke van der Berg on categorical algebra of algebraic logic.
- Started a new research project on applications of forms to physics.
- Continued with the teaching of Engineering Mathematics 214 and Set Theory and Topology.
- Busy with marking of Foundations of Abstract Mathematics I first term seminar final assignments.
March-April 2021
- Started work on matches of digraphs: pioneering joint work with Francois van Niekerk and Jade Viljoen (research grew out from her honors project).
- Started work on binary matrix properties: joint work with Michael Hoefnagel, Pierre-Alain Jacqmin and Emil van der Walt (undergraduate student) on the structure of the poset of matrix properties. The project grew out from Emil solving problems that Michael and I suggested to him in the fall of 2021, which naturally evolved from a joint work with Michael and Pierre-Alain.
- Made some progress with SOFiA: joint work with Louise Beyers, Gregor Feierabend and Brandon Laing. First python implementation of the SOFiA proof system produced. As a result, its deduction rules were refined.
- Started supervision of MSc studies of Daniella Moore on categorical aspects of near-vector spaces (cosupervised by Karin Howell).
- Teaching Engineering Mathematics 214 (together with Liam Baker, Ronalda Benjamin, and Michael Hoefnagel) in the first semester and giving a Foundations of Abstract Mathematics I seminar in Mathematical Reasoning in the first term. Also teaching an honors module, Set Theory and Topology, in the first semester.
January-February 2021
- The paper on stability of exactness properties under pro-completion, a 7 year old joint work with Pierre-Alain Jacqmin, was published in Advances in Mathematics.
- The paper on matrix taxonomy has been submitted for publication.
- Revisited research on a noetherian form of sets: together with Francois van Niekerk, we are elaborating the proof of our recent theorem that the category of sets provides a model for the self-dual axiomatic setup for homomorphism theorems proposed in my publication no. 35. Significant progress was made with the corresponding paper, but it still needs to more work.
- Serving on the Subcommittee B of the Research Committee of Stellenbosch University for 2021, as well as on the Programme Committee of the Faculty of Science.