This is a blog about mathematics (especially logic, category theory, and algebra), philosophy (especially epistemology, philosophy of science, and metaphysics), and other things that make me happy, like poetry.