Categorical Data Structures for Technical Computing

06/08/2021
βˆ™
by   Evan Patterson, et al.
βˆ™
0
βˆ™

Many mathematical objects can be represented as functors from finitely-presented categories 𝖒 to 𝖲𝖾𝗍. For instance, graphs are functors to 𝖒 from the category with two parallel arrows. Such functors are known informally as 𝖒-sets. In this paper, we describe and implement an extension of 𝖒-sets having data attributes with fixed types, such as graphs with labeled vertices or real-valued edge weights. We call such structures "acsets," short for "attributed 𝖒-sets." Derived from previous work on algebraic databases, acsets are a joint generalization of graphs and data frames. They also encompass more elaborate graph-like objects such as wiring diagrams and Petri nets with rate constants. We develop the mathematical theory of acsets and then describe a generic implementation in the Julia programming language, which uses advanced language features to achieve performance comparable with specialized data structures.

READ FULL TEXT
research
βˆ™ 09/20/2022

Data structures for topologically sound higher-dimensional diagram rewriting

We present a computational implementation of diagrammatic sets, a model ...
research
βˆ™ 03/02/2023

Algebraic Monograph Transformations

Monographs are graph-like structures with directed edges of unlimited le...
research
βˆ™ 02/22/2023

Integrating Data Structures and Algorithms in K-12 Education using Block-based Programming

This paper describes the design and evaluation of DSAScratch, an extensi...
research
βˆ™ 11/02/2021

Double pushout rewriting of C-sets

We generalize a pushout complement algorithm from graph rewriting to fin...
research
βˆ™ 02/18/2022

United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees

Graphs and various graph-like combinatorial structures, such as preorder...
research
βˆ™ 02/11/2023

Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves

Algorithmicists are well-aware that fast dynamic programming algorithms ...
research
βˆ™ 03/29/2019

Data structures to represent sets of k-long DNA sequences

The analysis of biological sequencing data has been one of the biggest a...

Please sign up or login with your details

Forgot password? Click here to reset