41554 blogs · [ { "id": "01a087bd-8f56-71bb-8e54-5ec18d4a9259", "title": "Monadicity Theorems", "url": "https://www.patrickstevens.co.uk/posts/2015-12-31-monadicity-theorems/", "published_at": "2015-12-31T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18e2f374b", "title": "General Adjoint Functor Theorem", "url": "https://www.patrickstevens.co.uk/posts/2015-12-24-general-adjoint-functor-theorem/", "published_at": "2015-12-24T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18ec583d6", "title": "My First Forcing", "url": "https://www.patrickstevens.co.uk/posts/2015-11-28-my-first-forcing/", "published_at": "2015-11-28T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18f22f30d", "title": "Eilenberg-Moore", "url": "https://www.patrickstevens.co.uk/posts/2015-11-12-eilenberg-moore/", "published_at": "2015-11-12T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec18faa04a9", "title": "Heyting algebras", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-30-heyting-algebras/", "published_at": "2015-09-30T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec1907d7db1", "title": "Exponentials in category theory", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-29-exponentials-in-category-theory/", "published_at": "2015-09-29T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec190f689fc", "title": "Limits exercises", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-29-limit-exercises/", "published_at": "2015-09-29T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec191af1398", "title": "Lottery odds", "url": "https://www.patrickstevens.co.uk/posts/2015-09-25-lottery-odds/", "published_at": "2015-09-25T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec191ccdb75", "title": "Properties of categorical limits", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-23-properties-of-limits/", "published_at": "2015-09-23T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec191de89a7", "title": "Limits and pullbacks", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-22-limits-and-pullbacks/", "published_at": "2015-09-22T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec19234a923", "title": "Limits and pullbacks 2", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-22-properties-of-pullbacks-limits/", "published_at": "2015-09-22T00:00:00+00:00" }, { "id": "01a087bd-8f56-71bb-8e54-5ec1927c18ef", "title": "Duality exercises", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-19-duality-exercises/", "published_at": "2015-09-19T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc30d05da80", "title": "Groups in categories", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-19-groups-in-categories/", "published_at": "2015-09-19T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc30d949643", "title": "Equalisers", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-16-equalisers/", "published_at": "2015-09-16T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc30df4ff9f", "title": "Duality in category theory", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-15-duality-in-category-theory/", "published_at": "2015-09-15T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc30e8da637", "title": "Hom-sets and exercises", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-10-homsets-and-exercises/", "published_at": "2015-09-10T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc30f19b81d", "title": "Products in category theory", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-08-products-in-category-theory/", "published_at": "2015-09-08T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc30f56142b", "title": "Epis and monos", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-02-epis-monos/", "published_at": "2015-09-02T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc30f903c4d", "title": "Initial, terminal, and generalised elements", "url": "https://www.patrickstevens.co.uk/awodey/2015-09-02-initial-generalised-elements/", "published_at": "2015-09-02T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc310422090", "title": "Free categories and foundations", "url": "https://www.patrickstevens.co.uk/awodey/2015-08-21-free-categories-and-foundations/", "published_at": "2015-08-21T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31061f811", "title": "Proof by contradiction", "url": "https://www.patrickstevens.co.uk/posts/2015-08-21-proof-by-contradiction/", "published_at": "2015-08-21T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31143fb36", "title": "New categories from old", "url": "https://www.patrickstevens.co.uk/awodey/2015-08-20-new-categories-from-old/", "published_at": "2015-08-20T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3121b6871", "title": "Category Theory introduction", "url": "https://www.patrickstevens.co.uk/awodey/2015-08-19-category-theory-introduction/", "published_at": "2015-08-19T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc312e8e9a1", "title": "Sequence on Awodey's Category Theory", "url": "https://www.patrickstevens.co.uk/posts/2015-08-19-awodey/", "published_at": "2015-08-19T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3131eb102", "title": "What is a Category?", "url": "https://www.patrickstevens.co.uk/awodey/2015-08-19-what-is-a-category/", "published_at": "2015-08-19T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc313a7b67b", "title": "Motivational learning", "url": "https://www.patrickstevens.co.uk/posts/2015-01-29-motivational-learning/", "published_at": "2015-01-29T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc314108cde", "title": "Latin translation tips", "url": "https://www.patrickstevens.co.uk/posts/2014-12-23-latin-translation-tips/", "published_at": "2014-12-23T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc314379e05", "title": "Matrix puzzle", "url": "https://www.patrickstevens.co.uk/posts/2014-12-19-matrix-puzzle/", "published_at": "2014-12-19T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc314f66ebb", "title": "Film recommendation, Interstellar", "url": "https://www.patrickstevens.co.uk/posts/2014-12-09-film-recommendation-interstellar/", "published_at": "2014-12-09T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc315cf97d2", "title": "Christmas carols", "url": "https://www.patrickstevens.co.uk/posts/2014-12-02-christmas-carols/", "published_at": "2014-12-02T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc315db66cc", "title": "Sum-of-two-squares theorem", "url": "https://www.patrickstevens.co.uk/posts/2014-09-09-sum-of-two-squares-theorem/", "published_at": "2014-09-09T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31602c721", "title": "Python, script shadowing", "url": "https://www.patrickstevens.co.uk/posts/2014-08-26-python-script-shadowing/", "published_at": "2014-08-26T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc316bd6287", "title": "Parables, chapter 1, verses 1-10", "url": "https://www.patrickstevens.co.uk/posts/2014-08-19-parables/", "published_at": "2014-08-19T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31765bb4c", "title": "Perfect pitch", "url": "https://www.patrickstevens.co.uk/posts/2014-07-21-perfect-pitch/", "published_at": "2014-07-21T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc317977857", "title": "Music practice", "url": "https://www.patrickstevens.co.uk/posts/2014-07-19-music-practice/", "published_at": "2014-07-19T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31828f6a4", "title": "What maths does to the brain", "url": "https://www.patrickstevens.co.uk/posts/2014-07-15-what-maths-does-to-the-brain/", "published_at": "2014-07-15T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3191dce79", "title": "Solvability of nonograms", "url": "https://www.patrickstevens.co.uk/posts/2014-07-13-solvability-of-nonograms/", "published_at": "2014-07-13T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc319decfb6", "title": "Possible cons of Soylent", "url": "https://www.patrickstevens.co.uk/posts/2014-06-25-possible-cons-of-Soylent/", "published_at": "2014-06-25T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31a185b7e", "title": "Proof that symmetric matrices are diagonalisable", "url": "https://www.patrickstevens.co.uk/posts/2014-05-26-proof-that-symmetric-matrices-are-diagonalisable/", "published_at": "2014-05-26T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31b121267", "title": "Discovering a proof of Sylvester's Law of Inertia", "url": "https://www.patrickstevens.co.uk/posts/2014-05-03-discovering-a-proof-of-sylvesters-law-of-inertia/", "published_at": "2014-05-03T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31c0e8279", "title": "Sequentially compact iff compact", "url": "https://www.patrickstevens.co.uk/posts/2014-04-26-sequentially-compact-iff-compact/", "published_at": "2014-04-26T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31c4f3fdd", "title": "Cayley-Hamilton theorem", "url": "https://www.patrickstevens.co.uk/posts/2014-04-17-cayley-hamilton-theorem/", "published_at": "2014-04-17T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31ce1710a", "title": "Sample topology question", "url": "https://www.patrickstevens.co.uk/posts/2014-04-15-sample-topology-question/", "published_at": "2014-04-15T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31d49b5c6", "title": "Useful conformal mappings", "url": "https://www.patrickstevens.co.uk/posts/2014-04-07-useful-conformal-mappings/", "published_at": "2014-04-07T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31d73c3c1", "title": "Discovering a proof of Heine-Borel", "url": "https://www.patrickstevens.co.uk/posts/2014-04-04-discovering-a-proof-of-heine-borel/", "published_at": "2014-04-04T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31dcea068", "title": "How to discover the Contraction Mapping Theorem", "url": "https://www.patrickstevens.co.uk/posts/2014-03-30-how-to-discover-the-contraction-mapping-theorem/", "published_at": "2014-03-30T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31dd5db71", "title": "A roundup of some board games", "url": "https://www.patrickstevens.co.uk/posts/2014-03-20-a-roundup-of-some-board-games/", "published_at": "2014-03-20T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31e9b863b", "title": "Rage, rage against the poet’s hardest sell", "url": "https://www.patrickstevens.co.uk/posts/2014-02-16-rage-rage-against-the-poets-hardest-sell/", "published_at": "2014-02-16T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31ea2d87e", "title": "Writing essays", "url": "https://www.patrickstevens.co.uk/posts/2014-01-28-writing-essays/", "published_at": "2014-01-28T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc31f77b605", "title": "Introduction to functional programming syntax of Mathematica", "url": "https://www.patrickstevens.co.uk/posts/2014-01-24-introduction-to-functional-programming-syntax-of-mathematica/", "published_at": "2014-01-24T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc320439ca2", "title": "Denouement of Myst III: Exile", "url": "https://www.patrickstevens.co.uk/posts/2014-01-12-denouement-of-myst-iii-exile/", "published_at": "2014-01-12T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3211683d3", "title": "The Creation", "url": "https://www.patrickstevens.co.uk/posts/2014-01-02-the-creation/", "published_at": "2014-01-02T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3216df896", "title": "Smartphone Charter", "url": "https://www.patrickstevens.co.uk/posts/2013-12-30-smartphone-charter/", "published_at": "2013-12-30T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc321710e71", "title": "Three explanations of the Monty Hall Problem", "url": "https://www.patrickstevens.co.uk/posts/2013-12-22-three-explanations-of-the-monty-hall-problem/", "published_at": "2013-12-22T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc32203be8a", "title": "The Training Game", "url": "https://www.patrickstevens.co.uk/posts/2013-12-14-the-training-game/", "published_at": "2013-12-14T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3227686c5", "title": "The Jean-Paul Sartre Cookbook", "url": "https://www.patrickstevens.co.uk/posts/2013-11-23-the-jean-paul-sartre-cookbook/", "published_at": "2013-11-23T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc322a2243d", "title": "Markov Chain card trick", "url": "https://www.patrickstevens.co.uk/posts/2013-11-12-markov-chain-card-trick/", "published_at": "2013-11-12T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc322d2da6c", "title": "My quest for a new phone", "url": "https://www.patrickstevens.co.uk/posts/2013-11-07-my-quest-for-a-new-phone/", "published_at": "2013-11-07T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3232b9a03", "title": "How to do Analysis questions", "url": "https://www.patrickstevens.co.uk/posts/2013-10-24-how-to-do-analysis-questions/", "published_at": "2013-10-24T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3238d05ee", "title": "The Ravenous", "url": "https://www.patrickstevens.co.uk/posts/2013-10-20-the-ravenous/", "published_at": "2013-10-20T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc32425e4c0", "title": "Training away mental bias", "url": "https://www.patrickstevens.co.uk/posts/2013-10-13-training-away-mental-bias/", "published_at": "2013-10-13T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3252204f2", "title": "Meaning what you say", "url": "https://www.patrickstevens.co.uk/posts/2013-10-11-meaning-what-you-say/", "published_at": "2013-10-11T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc32572fb9b", "title": "Plot Armour", "url": "https://www.patrickstevens.co.uk/posts/2013-10-10-plot-armour/", "published_at": "2013-10-10T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3261a4024", "title": "How to prove that you are a god", "url": "https://www.patrickstevens.co.uk/posts/2013-09-21-how-to-prove-that-you-are-a-god/", "published_at": "2013-09-21T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc326590b1e", "title": "Stumbled across 14th September 2013", "url": "https://www.patrickstevens.co.uk/posts/2013-09-13-stumbled-across-14th-september-2013/", "published_at": "2013-09-13T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc326e97b4e", "title": "Slightly silly Sylow pseudo-sonnets", "url": "https://www.patrickstevens.co.uk/posts/2013-08-31-slightly-silly-sylow-pseudo-sonnets/", "published_at": "2013-08-31T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc327cfeb58", "title": "Topology made simple", "url": "https://www.patrickstevens.co.uk/posts/2013-08-26-topology-made-simple/", "published_at": "2013-08-26T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3281201c8", "title": "Stumbled across 24th August 2013", "url": "https://www.patrickstevens.co.uk/posts/2013-08-24-stumbled-across-24-august-2013/", "published_at": "2013-08-24T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc3281924f9", "title": "How to punt in Cambridge", "url": "https://www.patrickstevens.co.uk/posts/2013-08-22-how-to-punt-in-cambridge/", "published_at": "2013-08-22T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc328d604a8", "title": "My experiences with flow", "url": "https://www.patrickstevens.co.uk/posts/2013-08-21-my-experiences-with-flow/", "published_at": "2013-08-21T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc32999ac21", "title": "Thinking styles", "url": "https://www.patrickstevens.co.uk/posts/2013-08-18-thinking-styles/", "published_at": "2013-08-18T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc32a14cf31", "title": "Stumbled across 11th August 2013", "url": "https://www.patrickstevens.co.uk/posts/2013-08-11-stumbled-across-11th-august-2013/", "published_at": "2013-08-11T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc32af26c0f", "title": "New computer setup", "url": "https://www.patrickstevens.co.uk/posts/2013-08-04-new-computer-setup/", "published_at": "2013-08-04T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc32b6d03bf", "title": "Stumbled across 4th August 2013", "url": "https://www.patrickstevens.co.uk/posts/2013-08-04-stumbled-across-4-august-2013/", "published_at": "2013-08-04T00:00:00+00:00" }, { "id": "01a087bd-8f57-7171-9771-5bc32c48105a", "title": "On to-do lists as direction in life", "url": "https://www.patrickstevens.co.uk/posts/2013-07-30-on-to-do-lists-as-direction-in-life/", "published_at": "2013-07-30T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae0d94e2e", "title": "Stumbled across 29th July 2013", "url": "https://www.patrickstevens.co.uk/posts/2013-07-29-stumbled-across-29-july-2013/", "published_at": "2013-07-29T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae11d7fbf", "title": "Metathought", "url": "https://www.patrickstevens.co.uk/posts/2013-07-25-metathought/", "published_at": "2013-07-25T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae18991ac", "title": "Stumbled across 24th July 2013", "url": "https://www.patrickstevens.co.uk/posts/2013-07-24-stumbled-across-24th-july-2013/", "published_at": "2013-07-24T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae1dbfd86", "title": "The Orbit/Stabiliser Theorem", "url": "https://www.patrickstevens.co.uk/posts/2013-07-22-the-orbitstabiliser-theorem/", "published_at": "2013-07-22T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae2a81756", "title": "On Shakespeare", "url": "https://www.patrickstevens.co.uk/posts/2013-07-21-on-shakespeare/", "published_at": "2013-07-21T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae35185c8", "title": "My objection to the One Logical Leap view", "url": "https://www.patrickstevens.co.uk/posts/2013-07-18-my-objection-to-the-one-logical-leap-view/", "published_at": "2013-07-18T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae364fe7f", "title": "Prerequisites for hypothetical situations", "url": "https://www.patrickstevens.co.uk/posts/2013-07-14-prerequisites-for-hypothetical-situations/", "published_at": "2013-07-14T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae3726193", "title": "The Multiple Drafts view of consciousness", "url": "https://www.patrickstevens.co.uk/posts/2013-07-14-the-multiple-drafts-view-of-consciousness/", "published_at": "2013-07-14T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae3edaffe", "title": "Stumbled across 13th July 2013", "url": "https://www.patrickstevens.co.uk/posts/2013-07-13-stumbled-across-13th-july-2013/", "published_at": "2013-07-13T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae4c866b4", "title": "A framework for discussing \"pricelessness\"", "url": "https://www.patrickstevens.co.uk/posts/2013-07-12-a-framework-for-discussing-pricelessness/", "published_at": "2013-07-12T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae4d99584", "title": "Imre Leader Appreciation Society", "url": "https://www.patrickstevens.co.uk/posts/2013-07-10-imre-leader-appreciation-society/", "published_at": "2013-07-10T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae5c4142b", "title": "Stumbled across 9th July 2013", "url": "https://www.patrickstevens.co.uk/posts/2013-07-09-stumbled-across-9th-july-2013/", "published_at": "2013-07-09T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae5db701c", "title": "An obvious improvement to tennis", "url": "https://www.patrickstevens.co.uk/posts/2013-07-08-an-obvious-improvement-to-tennis/", "published_at": "2013-07-08T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae65be5f3", "title": "Mundane magics", "url": "https://www.patrickstevens.co.uk/posts/2013-07-07-mundane-magics/", "published_at": "2013-07-07T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae72a5df5", "title": "Cambridge vocab - a guide for the mystified", "url": "https://www.patrickstevens.co.uk/posts/2013-07-06-cambridge-vocab-a-guide-for-the-mystified/", "published_at": "2013-07-06T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae7ec18b8", "title": "Cambridge undergrad maths tips", "url": "https://www.patrickstevens.co.uk/posts/2013-07-04-cambridge-undergrad-maths-tips/", "published_at": "2013-07-04T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae8b644ee", "title": "In which I augment the lexicon", "url": "https://www.patrickstevens.co.uk/posts/2013-07-03-in-which-i-augment-the-lexicon/", "published_at": "2013-07-03T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae8c1c027", "title": "CUCaTS Puzzlehunt", "url": "https://www.patrickstevens.co.uk/posts/2013-06-26-cucats-puzzlehunt/", "published_at": "2013-06-26T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae8f1fcdb", "title": "First post", "url": "https://www.patrickstevens.co.uk/posts/2013-06-26-first-post/", "published_at": "2013-06-26T00:00:00+00:00" }, { "id": "01a087bd-8f58-7199-a701-915ae9e8b3cc", "title": "Sylow theorems", "url": "https://www.patrickstevens.co.uk/posts/2013-06-26-sylow-theorems/", "published_at": "2013-06-26T00:00:00+00:00" } ] posts Claim your blog

Back to patrickstevens.co.uk

Blog · corpus.blog/blogs/patrickstevens.co.uk/posts

patrickstevens.co.uk

patrickstevens.co.uk

2015

Monadicity Theorems original ↗

31 Dec 2015

General Adjoint Functor Theorem original ↗

24 Dec 2015

My First Forcing original ↗

28 Nov 2015

Eilenberg-Moore original ↗

12 Nov 2015

Heyting algebras original ↗

30 Sept 2015

Exponentials in category theory original ↗

29 Sept 2015

Limits exercises original ↗

29 Sept 2015

Lottery odds original ↗

25 Sept 2015

Properties of categorical limits original ↗

23 Sept 2015

Limits and pullbacks original ↗

22 Sept 2015

Limits and pullbacks 2 original ↗

22 Sept 2015

Duality exercises original ↗

19 Sept 2015

Groups in categories original ↗

19 Sept 2015

Equalisers original ↗

16 Sept 2015

Duality in category theory original ↗

15 Sept 2015

Hom-sets and exercises original ↗

10 Sept 2015

Products in category theory original ↗

8 Sept 2015

Epis and monos original ↗

2 Sept 2015

Initial, terminal, and generalised elements original ↗

2 Sept 2015

Free categories and foundations original ↗

21 Aug 2015

Proof by contradiction original ↗

21 Aug 2015

New categories from old original ↗

20 Aug 2015

Category Theory introduction original ↗

19 Aug 2015

Sequence on Awodey's Category Theory original ↗

19 Aug 2015

What is a Category?original ↗

19 Aug 2015

Motivational learning original ↗

29 Jan 2015

2014

Latin translation tips original ↗

23 Dec 2014

Matrix puzzle original ↗

19 Dec 2014

Film recommendation, Interstellar original ↗

9 Dec 2014

Christmas carols original ↗

2 Dec 2014

Sum-of-two-squares theorem original ↗

9 Sept 2014

Python, script shadowing original ↗

26 Aug 2014

Parables, chapter 1, verses 1-10 original ↗

19 Aug 2014

Perfect pitch original ↗

21 Jul 2014

Music practice original ↗

19 Jul 2014

What maths does to the brain original ↗

15 Jul 2014

Solvability of nonograms original ↗

13 Jul 2014

Possible cons of Soylent original ↗

25 Jun 2014

Proof that symmetric matrices are diagonalisable original ↗

26 May 2014

Discovering a proof of Sylvester's Law of Inertia original ↗

3 May 2014

Sequentially compact iff compact original ↗

26 Apr 2014

Cayley-Hamilton theorem original ↗

17 Apr 2014

Sample topology question original ↗

15 Apr 2014

Useful conformal mappings original ↗

7 Apr 2014

Discovering a proof of Heine-Borel original ↗

4 Apr 2014

How to discover the Contraction Mapping Theorem original ↗

30 Mar 2014

A roundup of some board games original ↗

20 Mar 2014

Rage, rage against the poet’s hardest sell original ↗

16 Feb 2014

Writing essays original ↗

28 Jan 2014

Introduction to functional programming syntax of Mathematica original ↗

24 Jan 2014

Denouement of Myst III: Exile original ↗

12 Jan 2014

The Creation original ↗

2 Jan 2014

2013

Smartphone Charter original ↗

30 Dec 2013

Three explanations of the Monty Hall Problem original ↗

22 Dec 2013

The Training Game original ↗

14 Dec 2013

The Jean-Paul Sartre Cookbook original ↗

23 Nov 2013

Markov Chain card trick original ↗

12 Nov 2013

My quest for a new phone original ↗

7 Nov 2013

How to do Analysis questions original ↗

24 Oct 2013

The Ravenous original ↗

20 Oct 2013

Training away mental bias original ↗

13 Oct 2013

Meaning what you say original ↗

11 Oct 2013

Plot Armour original ↗

10 Oct 2013

How to prove that you are a god original ↗

21 Sept 2013

Stumbled across 14th September 2013 original ↗

13 Sept 2013

Slightly silly Sylow pseudo-sonnets original ↗

31 Aug 2013

Topology made simple original ↗

26 Aug 2013

Stumbled across 24th August 2013 original ↗

24 Aug 2013

How to punt in Cambridge original ↗

22 Aug 2013

My experiences with flow original ↗

21 Aug 2013

Thinking styles original ↗

18 Aug 2013

Stumbled across 11th August 2013 original ↗

11 Aug 2013

New computer setup original ↗

4 Aug 2013

Stumbled across 4th August 2013 original ↗

4 Aug 2013

On to-do lists as direction in life original ↗

30 Jul 2013

Stumbled across 29th July 2013 original ↗

29 Jul 2013

Metathought original ↗

25 Jul 2013

Stumbled across 24th July 2013 original ↗

24 Jul 2013

The Orbit/Stabiliser Theorem original ↗

22 Jul 2013

On Shakespeare original ↗

21 Jul 2013

My objection to the One Logical Leap view original ↗

18 Jul 2013

Prerequisites for hypothetical situations original ↗

14 Jul 2013

The Multiple Drafts view of consciousness original ↗

14 Jul 2013

Stumbled across 13th July 2013 original ↗

13 Jul 2013

A framework for discussing "pricelessness"original ↗

12 Jul 2013

Imre Leader Appreciation Society original ↗

10 Jul 2013

Stumbled across 9th July 2013 original ↗

9 Jul 2013

An obvious improvement to tennis original ↗

8 Jul 2013

Mundane magics original ↗

7 Jul 2013

Cambridge vocab - a guide for the mystified original ↗

6 Jul 2013

Cambridge undergrad maths tips original ↗

4 Jul 2013

In which I augment the lexicon original ↗

3 Jul 2013

CUCaTS Puzzlehunt original ↗

26 Jun 2013

First post original ↗

26 Jun 2013

Sylow theorems original ↗

26 Jun 2013