Posts tagged software
← Return to all posts

Categorical translation for mathematical language (Part 2)

20-01-14

After my previous post, I got the chance to (a) spend a bit of time thinking about things, and (b) talk to Jade Master on Twitter. Rather than going back to edit my original post, I decided to turn this into more of a series. Here are some new thoughts (but not really any visible progress) on the whole affair.

Continue reading →

Categorical translation for mathematical language (Part 1)

19-11-07

Being unable to ever properly finish any project that I start, but loving starting new projects, has made getting around to typing up this blog post quite an effort. Not only that, but it’s also unsatisfying to me how much I’ve failed to understand the categorical framework behind my translation project, so it’s mildly intimidating (to say the least) to present this stuff to the whole internet (although, in actuality, it’s really just to the one (mabye two) reader(s) of this blog), but I’m doing so in the hopes that somebody who actually knows about this sort of applied category theory can help me get somewhat closer to a solid understanding.

Continue reading →