I have rewritten my math book (volume 1) with implicit arguments (that is I sometimes write instead of to denote
Continue readingCategory: Formalized math
How proof by contradiction differs of direct proof
This my post is about mathematical logic, but first I will explain the story about people who asked or answer
Continue readingNew definitions of products and coproducts in certain categories
I have updated this article. It now contains a definition of product and coproduct for arbitrary morphisms of a dagger
Continue readingToward formalization of partial infima and suprema
I’ve written a short note about suprema and infima in formal math: Toward formalization of partial infima and suprema It
Continue reading