2014-06-19 § 1 Comment
This document is an incomplete draft.
About two years ago I wrote about a category-theoretic treatment of collaborative text editing. That post is unique in the history of Bosker Blog in having been cited – twice so far that I know of – in the academic literature; so it’s a little embarrassing for me to have to explain that it is almost entirely wrong. The good news is that the core idea can be rescued, and the corrected story is quite interesting. Other writers on this subject seem to have made at least some of the same mistakes I did, so I hope this will be useful to at least a few other people too. « Read the rest of this entry »
2012-05-10 § 17 Comments
Editing text is the opposite of handling exceptions; or, to put it another way, editing text is like exception handling but backwards in time. I realise this is an unexpected claim, so I hope you will permit me to explain. Although it has the ring of nonsense, there is a perfectly good sense in which it is just straightforwardly true.
Added 2014-06-18: it turns out that the story is more interesting than I realised when I wrote this, and that almost all of the technical details below are wrong. I am in the process of writing an account of what I currently believe on this subject.
Ah yes, category theory. Our old friend. Elucidating structural connections between apparently disconnected topics since 1945. Let me tell you a story.
2007-07-05 § 1 Comment
2007-07-03 § 1 Comment
When I started doing research, I mostly worked on categories of games. I even went so far as to write a first-year report that suggested — even confidently claimed — that I would write a thesis on the subject. Well, I’m writing that thesis now, and games appear only in passing in a single paragraph. But recently, one or two people have expressed some interest in some of the ideas in that first-year report, so I’d like to flesh out one of idea that is only sketched very vaguely in what I wrote.
The starting point is the idea that a simple category of games is (equivalent to) the initial model of a certain simple theory. « Read the rest of this entry »
2006-06-22 § Leave a comment
In my previous entry, I deferred the problem of defining lax monoidal functors between radical monoidal categories. But yesterday evening on the train I realised that there is a cute way to think about lax monoidal functors, which makes it possible to simply calculate the answer.
Suppose we have monoidal categories C and D, and a functor F: C → D. To give a lax monoidal structure on F is to give a monoidal structure on the comma category C↓F, such that the projections C↓F → C and C↓F → D are strict monoidal.
I wasn’t going to explain that, because it’s fun to figure it out and rather dull to explain, but in the end I decided to put an explanation at the bottom of this post (appendix B). « Read the rest of this entry »
2006-06-20 § 8 Comments
As you can probably tell, I’m hugely excited about Joachim Kock’s paper. I apologize to those of you who read it a year ago, and think I’m a bit late to the party.
Most late-stage PhD students, I imagine, have written an imaginary textbook entitled Things I wish I’d known three years ago. My own contribution to this genre has a snappier title – it’s called Monoidal categories – and since yesterday it’s been frantically rewriting itself. (The advantage of imaginary books over real ones is that they can do that.)
2006-06-19 § Leave a comment
This morning’s crop of arxiv updates included a new version of Joachim Kock’s Elementary remarks on units in monoidal categories. Somehow I hadn’t noticed the earlier version; it’s a beautiful result, and it implies the lemma of mine that I mentioned in Paré’s observation.