The ACSet data structure provides a basic API for generating and manipulating these structures. Below we will provide a description of the accessors/mutators which can be used on a given ACSet instance. In this document, we'll use the WeightedGraph schema to give examples of the functions of each one. The WeightedGraph schema is as follows:
using Catlab, Catlab.CategoricalAlgebra
| ### A Pluto.jl notebook ### | |
| # v0.14.5 | |
| using Markdown | |
| using InteractiveUtils | |
| # This Pluto notebook uses @bind for interactivity. When running this notebook outside of Pluto, the following 'mock version' of @bind gives bound variables a default value (instead of an error). | |
| macro bind(def, element) | |
| quote | |
| local el = $(esc(element)) |