WJD Open Notebook

agda-ualib

Introducing the Agda Universal Algebra Library

February 9, 2019 Reading time: less than a minute (113 words).

(Shown above is a general formulation of composition of operations in dependent type theory, as derived here.)

This page is a teaser for the agda-ualib package and its detailed documentation (tutorial/textbook) that we are currently developing to formalize important parts of universal algebra in the Agda functional programming language and interactive theorem prover.

Python, Jython, and Sage

February 1, 2019 Reading time: about 1 minute (214 words).

This post collects some notes and teaching materials concerning the use of Python, Jython, and Sage for universal and linear algebra.

Math PhD Exams

Exams in Group Theory, Ring Theory, Complex Analysis, and Real Analysis

January 2, 2019 Reading time: about 1 minute (322 words).

🔗 Comprehensive Exams in Mathematics

Congruences of Partial Algebras

I don't always use recursion; but when I do, I don't always use recursion.

April 6, 2017 Reading time: less than a minute (162 words).

Conferences in Algebra

April 1, 2017 Reading time: less than a minute (152 words).

I started a GitHub repository called UniversalAlgebra/Conferences in an effort to keep up with the vast number of meetings in these areas and help make summer travel plans accordingly.

The UniversalAlgebra/Conferences repository is simply a list of links to the conferences listed.