Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

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