2022 Academic Activities

This post is under construction

January-February 2022

March-April 2022

  • Revisited research on a noetherian form of sets -- see the updated paper.
  • Organised a Research Workshop on Monoidal Sum Structures at Stellenbosch University (20-25 March) and hosted the visit of Dr. Charles Msipha (Tshwane University of Technology). See the Mathematical Structures Research Programme website for further information. Two research projects dealing with sum structures were initiated at this workshop.
  • Organised a Research Workshop on Lower Topology at Stellenbosch University (3-10 April) and hosted the visit of Dr. Amartya Goswami and Ms. Micheala Hoenselaar (University of Johannesburg). A research project on lower topology was initiated at this workshop.


May-June 2022


Popular posts from this blog

Python-Based Introduction to Mathematical Proofs

Image
Scroll down for video lectures 1. What is a Mathematical Proof?   Mathematical proof is a method of discourse which allows a human being to:  discover new mathematical knowledge, analyze existing mathematical knowledge, verify truthfulness of a piece of mathematical knowledge.  The ability to construct a mathematical proof is part of human nature. It is closely related to the ability to form thoughts and reason. Mathematical knowledge is knowledge of abstract principles about our universe. As such, it requires use of symbols to represent entities that are inherently abstract. For example, the symbol 2 may represent 2 apples or 2 pears . The number 2 is an abstract entity, since it is not confined to any of these concrete representations.  Mathematics functions at different levels of abstraction too. For instance, we may write a symbol, such as n , to represent any number. In one case we could have n = 2 , and in another case we could have n = 3 . This is a second layer of abstractio
Click to view »

The poset of matrix properties

Image
Below are the notes for the talk above, given at the Algebra, Geometry, Topology & Applications seminar. 1. Bird's-Eye View of Exactness Properties  One of the active areas of research in Categorical Algebra is the study of various properties of categories expressed using limits and colimits. Such properties are usually referred to as exactness properties . This terminology comes from the fact that, historically, the first such properties emerged in the study of exact sequences in the sense of Homological Algebra. The matrix properties  in the title of this post are particular types of exactness properties, which can be encoded using integer matrices. Before explaining what they are, let us first recall the notions of limit and colimit. Given a diagram of objects and arrows (objects are certain mathematical structures and arrows are morphisms between them), a limit (of the diagram) is a way to encode the information about the diagram in a single object; it is a terminal (commu
Click to view »

Publications

Publications Z. Janelidze, Characterization of pointed varieties of universal algebras with normal projections , Theory and Applications of Categories 11, 2003, 212-214 Z. Janelidze, Varieties of universal algebras with normal local projections , Georgian Mathematical Journal 11, 2004, 93-98 Z. Janelidze, Subtractive categories , Applied Categorical Structures 13, 2005, 343-350 Z. Janelidze, Closedness properties of internal relations I: A unified approach to Mal’tsev, unital and subtractive categories , Theory and Applications of Categories 16, 2006, 236-261 Z. Janelidze, Closedness properties of internal relations II: Bourn localization , Theory and Applications of Categories 16, 2006, 262-282 Z. Janelidze, Closedness properties of internal relations IV: Expressing additivity of a category via subtractivity , Journal of Homotopy and Related Structures 1, 2006, 219-227 Z. Janelidze, Closedness properties of internal relations III: Pointed protomodular categories
Click to view »