×Here I write about certain fields of mathematics like category theory, proof theory, etc. These are usually summaries, comprehensions, or direct quotes from original resources.