Bracket Notation for Mathematical Proofs

The bracket notion for mathematical proofs is an adaptation of the Fitch notation for Gentzen's natural deduction proof system. It has led to the development of the SOFiA proof assistant. This post brings together some videos explaining the bracket notation and the first-order formal language for mathematics in the context of the bracket notation.

1. General Overview

~ 20 min

2. Building Blocks for Statements

~ 1 hour

3. Examples of Forming Statements

~ 40 min

4. Examples of Forming Statements (Continued)

~ 35 min

5. Concluding Quantified Statements

~ 35 min

6. Concluding from Quantified Statements

~ 1 hour

Read More

Category Theory 2022 - an NGA course

Here you will find the content for the Category Theory course given under the National Graduate Academy NGA-Coursework of the CoE-MaSS. The lectures are on Saturdays 9:00-11:00. 

Register here to receive the Zoom link for joining the lectures

There is also a Discord channel for this course, which you can find on the Discord server of the NGA-Coursework project. 

This is a video-based course aimed at post-graduate students and as well academics interested to learn about category theory, with live participation of the audience shaping the content of the course. For a reading course at the South African honors level, see:

• Category Theory: A First Course by George Janelidze

For an introduction to category theory for non-mathematicians and undergraduate students, see:

• Elementary Introduction to Category Theory by Amartya Goswami and Zurab Janelidze 

Lecture 1: Categories

Lecture 2: Functors

Lecture 3: Natural Transformations

Lecture 4: Adjunctions

Lecture 5: Limits

Lecture 6: Duality

Lecture 7: Yoneda Embedding

Lecture 8: Equivalence of Categories

9. Exponentiation

10. Universal constructions

Read More