Uncategorized

Let me just remind you what these are: in his blog., Turtle asserted that, for any integer (where we may have, say ) then .

Now I confess I haven't read the whole article, so for all I know this may have been covered, but the proof of this is laughably easy.

Take an integer like, oh I dunno, say . Historically this notation means . So any integer can be written as .

...

Yeah, I do know, of course I do - we are in 21C, right?

I take it I may assume that anyone reading this my blog is slightly interested in what I have to say?

So. I have been learning category theory over the last few months. I am here to tell you it is the coolest subject EVER.

It is highly abstract, of course, that is why it is affectionately known as "abstract nonsense", but not that hard, I think.

Well it is hard, because...