2021 Academic Activities

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.  
  • 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.

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.

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 the 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.

Popular posts from this blog

Publications

Lectures