Skip to main content
NovemberDecember 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 resubmitted for publication (corresponding author: M. Hoefnagel)  see the new version here.
 Talk given at SAMS Congress on the matrix project  see the writeup 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 20222023.
 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 "Spacelike 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.
SeptemberOctober 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 commandline 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 minischool (October 2021) on Elementary Introduction to Category Theory. See this blog for the writeup and links to videorecordings of lectures.
 Talk given at SIC on forms vs monoidal categories. See the writeup 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.
JulyAugust 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.
MayJune 2021

The paper on linear exactness properties, joint work with PierreAlain
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.
MarchApril 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, PierreAlain 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
PierreAlain.

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 nearvector 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.
JanuaryFebruary 2021

The
paper
on stability of exactness properties under procompletion, a 7 year old
joint work with PierreAlain 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 selfdual 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.