# Index by date

*You are looking at the list of posts by date. Looking for posts by category?*

## 2020

### March

## 2018

### July

## 2017

### February

## 2016

### August

### June

### May

### April

- Tennenbaum's theorem
- Modular machines
- Independence of the Axiom of Choice (for programmers)
- Another Monty Hall explanation

### March

### February

### January

## 2015

### December

### November

### September

- Heyting algebras
- Limits exercises
- Exponentials in category theory
- Lottery odds
- Properties of categorical limits
- Limits and pullbacks 2
- Limits and pullbacks
- Groups in categories
- Duality exercises
- Equalisers
- Duality in category theory
- Hom-sets and exercises
- Products in category theory
- Initial, terminal, and generalised elements
- Epis and monos

### August

- Proof by contradiction
- Free categories and foundations
- New categories from old
- What is a Category?
- Category Theory introduction

### January

## 2014

### December

### September

### August

### July

### June

### May

### April

- Sequentially compact iff compact
- Cayley-Hamilton theorem
- Sample topology question
- Useful conformal mappings
- Discovering a proof of Heine-Borel

### March

### February

### January

- Writing essays
- Introduction to functional programming syntax of Mathematica
- Denouement of Myst III: Exile
- The Creation

## 2013

### December

### November

### October

- How to do Analysis questions
- The Ravenous
- Training away mental bias
- Meaning what you say
- Plot Armour

### September

### August

- Slightly silly Sylow pseudo-sonnets
- Topology made simple
- Stumbled across 24th August 2013
- How to punt in Cambridge
- My experiences with flow
- Thinking styles
- Stumbled across 11th August 2013
- Stumbled across 4th August 2013
- New computer setup

### July

- On to-do lists as direction in life
- Stumbled across 29th July 2013
- Metathought
- Stumbled across 24th July 2013
- The Orbit/Stabiliser Theorem
- On Shakespeare
- My objection to the One Logical Leap view
- The Multiple Drafts view of consciousness
- Prerequisites for hypothetical situations
- Stumbled across 13th July 2013
- A framework for discussing "pricelessness"
- Imre Leader Appreciation Society
- Stumbled across 9th July 2013
- An obvious improvement to tennis
- Mundane magics
- Cambridge vocab - a guide for the mystified
- Cambridge undergrad maths tips
- In which I augment the lexicon