# Index by category

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

- Motivational learning
- Latin translation tips
- Christmas carols
- Perfect pitch
- Music practice
- Possible cons of Soylent
- Useful conformal mappings
- A roundup of some board games
- Writing essays
- Denouement of Myst III: Exile
- Smartphone Charter
- The Training Game
- The Jean-Paul Sartre Cookbook
- My quest for a new phone
- Meaning what you say
- How to prove that you are a god
- How to punt in Cambridge
- New computer setup
- On to-do lists as direction in life
- On Shakespeare
- Imre Leader Appreciation Society
- An obvious improvement to tennis
- Cambridge vocab - a guide for the mystified
- Cambridge undergrad maths tips
- In which I augment the lexicon
- First post
- CUCaTS Puzzlehunt

- Part III essay
- Finitistic reducibility
- Tennenbaum's theorem
- Modular machines
- Independence of the Axiom of Choice (for programmers)
- Another Monty Hall explanation
- Friedberg-Muchnik theorem
- Multiplicative determinant
- My First Forcing
- Lottery odds
- Proof by contradiction
- Matrix puzzle
- Sum-of-two-squares theorem
- Solvability of nonograms
- Proof that symmetric matrices are diagonalisable
- Discovering a proof of Sylvester's Law of Inertia
- Sequentially compact iff compact
- Cayley-Hamilton theorem
- Sample topology question
- Discovering a proof of Heine-Borel
- How to discover the Contraction Mapping Theorem
- Three explanations of the Monty Hall Problem
- Markov Chain card trick
- How to do Analysis questions
- Slightly silly Sylow pseudo-sonnets
- Topology made simple
- The Orbit/Stabiliser Theorem
- Sylow theorems

- Representable functors
- Monadicity Theorems
- General Adjoint Functor Theorem
- Eilenberg-Moore
- Heyting algebras
- Limits exercises
- Exponentials in category theory
- 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
- Free categories and foundations
- New categories from old
- What is a Category?
- Category Theory introduction