[Categoricaldata_announce] new release of FQL

[Ryan Wisnesky]

Hello everyone,

We are pleased to announce a new milestone in the development of our functorial query language, FQL.  In addition to allowing programming with data migration functors and their monads, FQL is now complete with respect to higher-order logic.  This means that FQL supports:

- finite products, co-products, and exponentials of schemas
- finite products, co-products, exponentials, and sub-object classifiers of instances

To the extent possible, all operations are implemented via translation to SQL.  FQL, its manual, and other items can be downloaded here:

  http://categoricaldata.net/fql.html
    
Thank you for your continued interest in categorical data.
  
Ryan Wisnesky
David Spivak