Hello world and welcome all to the introductory post on the Applied Category Theory Blog.
There won’t be any new content in this post, but I wanted to go ahead and put up the slides from our workshop last week. Thanks again to all of the participants for making the workshop such a success!
As you can probably tell, the website here is still under construction, but we hope that over time it will become a one-stop-shop for all things applied category theory. If you would like to help out building up the content for the site, or just to write a quick blog post, email one of the editors listed on the Contact page.
Later this month we here at NIST will be writing up a report based on the workshop. Once that is available I will ping the mailing list and Google Group, and advertise it and this site more widely.
Without further ado, here are the slides from the workshop:
Computational Category Theory Workshop – Sept. 28-29 – Abstracts
Computational Category Theory Workshop – Sept. 28-29 – Schedule
Spencer Breiner – Structural Mathematics for Complex Systems
David Spivak – Operadics – The mathematics of modular design
Peter Gates – Data Landscaping to Support Coordination at Scale
Ryan Wisnesky – The Functorial Data Model
Henson Graves – Axiomatic Category Theory for Knowledge Representation
Bob Rosebrugh – Implementing database design (and manipulation) categorically
Rad Balu – Horn Clause Logic for Subatomics
Ralph Wojtowicz – A Categorical Approach to Knowledge Management
Jason Morton – An approach to computational category theory
We just officially ended the inaugural Computational Category Theory workshop at the National Institute for Standards and Technology (NIST). During the workshop the participants had five discussions, on
- algorithms for category theory,
- data structures for category theory,
- applied category theory (ACT),
- building the ACT community,
- and open problems in the field.
Below, I’ve written up a partial summary of these discussions.
Continue reading Discussions at CCT