reality meets eccentricity
Blog
-
Understanding category theory pt. 1: What is category theory?
Read more »: Understanding category theory pt. 1: What is category theory?Category theory has revolutionized mathematics, first as a tool in algebraic topology and since then as an extremely successful unifying language for most, if not all, of mathematics (well, sort of, if we disregard analysis, which we will). The success of category theory underlines that mathematics is not about mere arithmetic, it is about structure,…
-
Using TeXLive with Dev Containers in VSCode
Categories: TechRead more »: Using TeXLive with Dev Containers in VSCodeIn this post I will describe how to set up VSCode to use a Docker container to run TeXLive and how to set up a folder template to quickly setup documents in the future. Prerequisites In this post I will assume that you are running Linux and that your template folder is called latex_template. What…
-
Writing mathematics literature for pedantics (and students)
Read more »: Writing mathematics literature for pedantics (and students)Who this is for This is meant as a collection of suggestions for anyone wanting to write a book on advanced mathematics, and wants to minimize the confusion of their readers and make their learning experience less stressful, less confusing and hence more effective from the perspective of the student. Make new terms easy to…
-
Lets talk about chalk
Categories: Student lifeRead more »: Lets talk about chalkMost people doing mathematics at university won’t be strangers to writing on blackboards with chalk. However, the experience can vary a great deal. It can range from feeling like scratching a sharp rock on a rough surface, accompanied by screeching sound. And writing is often just barely legible. Needless to say, this can be rather…
-
Use cases for Git at university
Read more »: Use cases for Git at universityEven if you are not developing developing software, the Free and Open Source Software (FOSS) version control system (VCS) Git, can be of much use for students. Features like branches and tags can make your life easier and save you time and grief. For coursework For each course you take, create a folder and initialize…