Skip to main content
U.S. flag

An official website of the United States government

Dot gov

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Https

Secure .gov websites use HTTPS
A lock ( ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Workshop on Applied Category Theory: Bridging Theory and Practice

Published

Author(s)

Spencer J. Breiner, Blake S. Pollard, Eswaran Subrahmanian

Abstract

This report presents the summary of a workshop held at NIST on March 15-16, 2018 on the topic of applied category theory (ACT). The meeting had two main goals: (i) mapping the current ACT landscape and (ii) developing a roadmap for transitioning the field to concrete applications. The report is broken into six sections detailing different aspects relevant to the development of ACT: community development, domain-specific applications, pedagogy, tool support, marketing and funding. Each section contains a discussion of the current state of the field, identifies major goals and challenges in that area, and considers potential strategies and tactics to address them, along with a prospective timeline for future developments.
Citation
Special Publication (NIST SP) - 1249
Report Number
1249

Keywords

Applied category theory
Created February 7, 2020