Categorical approach to agent interaction

Abstract

During the final year of this grant, my team and I produced a book detailing several applications of category theory; it will be published by Cambridge University Press. In it we gave a mathematical formulation of Censi's theory of collaborative design, as well as discussing resource theories, database integration techniques, and the behavior of interconnected systems of dynamical systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 04, 2018
Accession Number
AD1060774

Entities

People

  • David Spivak

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Autonomy
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Algorithms
  • Computational Science
  • Computer Programming
  • Computer Science
  • Databases
  • Differential Equations
  • Engineering
  • Equations
  • Information Science
  • Language
  • Materials
  • Materials Science
  • Mathematical Models
  • Molecular Dynamics
  • Network Science
  • Neural Networks
  • Supervised Machine Learning

Fields of Study

  • Mathematics

Readers

  • Finite Element Method (FEM) for solving Partial Differential Equations (PDEs)
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.
  • Technical Research and Report Writing.