Our new logo

To symbolise the synthesis of functional programming and double categories we will need a new logo. The functional programming paradigm is often symbolised by the Greek letter lambda. On the other hand, double categories are symbolised by the blackboard font letters at the start of their names. To indicate the use of double categories in computer programming languages and their link to the study of functional mappings, we will use a blackboard font lambda.