Free publishing
This post is a manifesto for a very simple idea: the phrase “open access” should be replaced with “free publishing”. I am asking you, the reader, to make this change. The rest of this post will try to...
View ArticleClik here to view.
Selection functions and lenses
I’ve been wondering for several years how selection functions and lenses relate to each other, I felt intuitively that there should be some connection – and not just because they both show up in the...
View ArticlePhD position at the University of Strathclyde, Glasgow
Update: This position has now been filled This is an update to my previous posting, refer to that post for most of the details. I am reopening applications for one of these positions (the other is...
View ArticleMaking Haskell lenses less pointless
Fair warning: this post assumes some familiarity with Haskell’s Control.Lens library. Source code for this post can be found here. Recently I’ve been working on a major rewrite of the open game...
View ArticleGeometry of interaction is the optic for copointed functors
Geometry of Interaction (also known as the Int-construction) is an important construction in category theory that shows up the semantics of concurrency. It’s also a contender for my favourite thing in...
View ArticleClik here to view.
Monadic lenses are the optic for right monad modules I
I figured out encoding of 2 more lens-like constructions in the “van Laarhoven” (functor quantification) style used by Haskell’s Control.Lens. The first is monadic lenses, which allow your backwards...
View ArticleClik here to view.
Monadic lenses are the optic for right monad modules II
This was originally intended to be a 2-part blog post, but a sideline into the interaction of monad modules and distributive laws turned into something of blog length, making this part 2 of 3. But it...
View ArticleClik here to view.
Monadic lenses are the optic for right monad modules III
This post picks up where the exposition in the first installment left off, before the sideline development in the second installment. I never intended to make a blog post in sonata form, but there we...
View ArticleClik here to view.
The cursed families fibration
This post is describing a simple construction I worked out while trying to understand the semantics of quantitative type theory. It is a variant of the families fibration, a well known construction in...
View ArticleMy blog has moved
Since late 2023 I have been regularly posting on the CyberCat Institute blog at https://cybercat.institute/
View Article