A Category-Theoretic Approach to Agent Interaction: Information, Communication, Planning, and Learning
Abstract
Category theory is a theory of relationships and composition. As such it has become a gateway to pure math, providing rigorous connections between algebra and number theory, logic and programming, geometry and topology, and probability and measure. My goal during this grant was to show that category theory is also broadly applicable outside of mathematics, from data and knowledge, to information and communication.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 22, 2021
- Accession Number
- AD1140365
Entities
People
- David I. Spivak
Organizations
- Massachusetts Institute of Technology