the cedar ledge

Categorical Data Structures for Technical Computing

Date: October 6 2021

Summary: An overview on the applications of category theory to computing; introduces acsets, port graphs, and other applied category theory ideas.

Keywords: #bibliography #acsets #graph #theory #category #archive

Bibliography

E. Patterson, O. Lynch, and J. Fairbanks, "Categorical Data Structures for Technical Computing," arXiv:2106.04703 [cs, math], Jun. 2021, Accessed: Sep. 27, 2021. [Online]. Available: http://arxiv.org/abs/2106.04703

Table of Contents

    1. Definitions
    2. Limitations of the Data Frame
    3. Conclusions
      1. Use Cases for Acsets
      2. Category Theory
    4. Discussion with Brighton Ancelin - October 6, 2021
    5. Questions
  1. How To Cite
  2. References:
  3. Discussion:

Definitions

Combinatorial Data - data stored in a graph

Attribute data - the data that would be put into a data frame

Limitations of the Data Frame

Conclusions

Use Cases for Acsets

Category Theory

- Limits
- Colimits
- Functorial data migration

Discussion with Brighton Ancelin - October 6, 2021

- Exists solely within a graph structure
- Defines vertices in a graph structure
- Defines edges in a graph structure
- Set of all vertices and set of all edges are isomorphic
	- As long as edge-vertex relationships are maintained
- Encodes symmetries or relationships in data that are important to that data

Questions

How To Cite

Zelko, Jacob. Categorical Data Structures for Technical Computing. https://jacobzelko.com/10062021162335-ascets-paper. October 6 2021.

References:

Discussion:

CC BY-SA 4.0 Jacob Zelko. Last modified: May 19, 2024. Website built with Franklin.jl and the Julia programming language.