I'm going to use a new structure for this stuff! There are categories listed above that are relevant to this article, and each "header" will be one of those categories. Maybe this will work better. #category-theory Bartosz Milewski's "Category…