Space-like mathematical structures and related topics in algebra, logic and computation

Research Programme Team:

Prof. Dharmanand Baboolal (SI)University of KwaZulu-Natal. Dr. Ronalda Benjamin. Stellenbosch University. Prof. Willem Conradie. University of Witwatersrand. Prof. Themba Dube (SI)University of South Africa.  Dr. Partha Pratim Ghosh (PI). University of South Africa. Dr. Amartya Goswami. University of Johannesburg. Dr. James Richard Andrew Gray. Stellenbosch University. Prof. Yorick Hardy (PI)University of the Witwatersrand. Dr. Michael Hoefnagel. Stellenbosch University. Prof. Karin-Therese Howell. Stellenbosch University. Prof. Zurab Janelidze (PI)Stellenbosch University. Dr. Tamar Janelidze-Gray. University of Cape Town. Dr. Sophie Marques. Stellenbosch University. Dr. Charles Nsukukazifani Msipha. Tshwane University of Technology. Prof. Paran Pillay. University of the Western Cape. Prof. Helmut Prodinger (SI)Stellenbosch University. Dr. Cerene Rathilal (PI). University of Johannesburg. Prof. Brink van der Merwe. Stellenbosch University. Dr. Francois van Niekerk. Stellenbosch University. Dr. Bertin Zinsou. University of Witwatersrand.

PI – Principal investigator (programme manager) | SI – Senior investigator | I – Investigator

Papers Published

Papers in Press

  • A. Fošner, Y. Hardy and B. Zinsou, Block determinants, partial determinants and the exponential map, submitted for publication.
  • P. P. Ghosh, Internal neighbourhood structures II: Closure and closed morphisms, submitted for publication. Preprint.
  • M. Hoefnagel, P.-A. Jacqmin, Matrix taxonomy and Bourn localization, submitted for publication.
  • M. Hoefnagel, P.-A. Jacqmin, Z. Janelidze, and E. van der Walt, On binary matrix properties, submitted for publication. Preprint.
  • Z. Janelidze, H. Prodinger, and F. K. van Niekerk, Combinatorics arising from lax colimits of posets, submitted for publication. Preprint.

Work in Progress

  • D. Baboolal, R. Ferguson, Z. Janelidze, P. Pillay, C. Rathilal, and I. van der Berg, Digital frames, work in progress
  • D. Baboolal, P. Pillay, and C. Rathilal, Convexity in metric frames, work in progress
  • R. Benjamin and C. Budde, On the order Lozanovsky spectrum of a positive operator, work in progress
  • R. Benjamin, Z. Janelidze, G. Joubert and F. Schulz, Ranked monoids, work in progress
  • R. Benjamin and A. Goswami, Investigating open problems on the spectral synthesis for Banach algebras, work in progress
  • R. Benjamin and F. Schulz, On peripherally multiplicative maps on Banach algebras, work in progress
  • R. Benjamin and C. Schwanke, Exploring open questions in Banach lattice algebras, work in progress
  • K. Dayaram, A. Goswami, and Z. Janelidze, Formal analysis of Yoneda-Quillen exact categories, work in progress
  • K. Dayaram, A. Goswami, and Z. Janelidze, Self-dual axiomatic approach to diagram lemmas, work in progress
  • K. Dayaram, A. Goswami, and Z. Janelidze, A survey of the butterfly lemma, work in progress
  • K. Dayaram, A. Goswami, J. S. Joao, and Y. Hardy, Local monoid structure of positive semi-definite matrices, work in progress
  • G. Feierabend, Haskell implementation of SOFiA on GitHub and live software
  • R. Ferguson, M. Hoefnagel, Z. Janelidze, C. Msipha, E. Theart, Extensivity for sum structures, work in progress
  • R. Ferguson, M. Hoefnagel, Z. Janelidze, C. Msipha, E. Theart, Some remarks on the canonical morphism from the sum to the product, work in progress
  • C. A. Finnocchiaro, A. Goswami, and D. Spirito, Which ideal spaces are spectral? Work in progress
  • A. Goswami, M. Hoenselaar, Z. Janelidze, and I. van der Berg, Relative lower topology, work in progress
  • J. Gray and T. Janelidze-Gray, A note on Huq commutativity of normal monomorphisms, work in progress
  • M. Hoefnagel, P.-A. Jacqmin, When a matrix condition implies the Mal’tsev property, work in progress
  • Z. Janelidze and F. K. van Niekerk, An axiomatic analysis of optimal noetherian forms of topois and their link to semi-abelian categories, preprint on overleaf
  • Z. Janelidze, S. Marques, and D. Moore, On the category of near-vector space, work in progress
  • S. Marques and E. Mrema, 2-cyclotomic extensions, work in progress
  • C. Rathilal, Wallman compactification and S metrizable Frames, work in progress
  • C. Rathilal, Locally non-separating sublocales, work in progress
  • F. K. van Niekerk, Monads and noetherian forms, work in progress

Research Workshops, Seminars and other Events


  • Online meetings for setting up the Research Programme.



  • Online seminar (3 March) presented by Amartya Goswami
  • Online Math School (4 March) presented by Cerene Rathilal
  • Online Math School (11 March) presented by Cerene Rathilal
  • Research Workshop on Monoidal Sum Structures at Stellenbosch University (20-25 March). Participants: Roy Furgeson, Michael Hoefnagel, Zurab Janelidze, Charles Msipha, Emma Theart. Organized by Zurab Janelidze


  • Research Workshop on Lower Topology at Stellenbosch University (3-10 April). Participants: Amartya Goswami, Michael Hoefnagel, Micheala Hoenselaar, Zurab Janelidze, Ineke van der Berg. Organized by Zurab Janelidze
  • Online Math School (21 April) presented by Cerene Rathilal





  • Research stay of Charles Msipha at Stellenbosch University (1-4 June). Hosts and collaborators: Roy Ferguson, Michael Hoefnagel, Zurab Janelidze, Sophie Marques, Emma Theart.
  • Online Math School (2 June) presented by Cerene Rathilal
  • Research Workshop (6-10 June) at the University of Johannesburg presented by Andrew Craig, Themba Dube, Yorick Hardy, Amartya Goswami, and Apostolos Tzimoulis. Organized by Amartya Goswami and assisted by Cerene Rathilal
  • Research Workshop in Algebraic Geometry (20-30 June) presented by Sophie Marques. Workshop participants: Chad Brache, Damas Mgani and Elizabeth Mrema.


  • Research visit of Francois Schulz at Stellenbosch University (4-8 July). Host and collaborator: Ronalda Benjamin. July 5: workshop organized by Zurab Janelidze and delivered by Francois Schulz on “Generalized rank, trace, and determinant”. Workshop participants: Ronalda Benjamin, Zurab Janelidze, David Olabiyi (MSc student), Dimby Rabearivony (PhD student), Francois Schulz, and a postgraduate student in Mathematics Division.
  • Research visit of Dharmanand Baboolal and Cerene Rathilal at the University of the Western Cape (10-16 July). Host and collaborator: Paran Pillay. July 14: research workshop organized by Zurab Janelidze and delivered by Dharmanand Baboolal on “Metric frames”. Workshop participants: Dharmanand Baboolal, Roy Ferguson (MSc student), Zurab Janelidze, Paran Pillay, Cerene Rathilal, Ineke van der Berg (PhD student).