semagrams

A library for developing interactive semantic diagrams

In this package, we define nested ACSets.

In a nested acset, each element of an acset has an associated acset, which we call a subacset. The schema for a nested acset has an acset schema associated with each object, which defines the schema for the acsets associated to the parts assigned to that object.

A nested part of a nested acset is a list of (ob, id) pairs, which at each step tell you how to get to the next nested acset. The type of such a nested part is just the list of obs.

Morphisms in a nested acset schema go from nested part types to nested part types. The acset schema that contains the morphism is the "highest point" that the morphism can go, i.e. the only way to get from a nested part to another nested part via a morphism is to go all the way up to where the morphism is defined, and then go back down to the target of the morphism.

Nested acsets are still not fully understood mathematically.

This contains all of the functions that we export to apps

This package contains managers of global state for handling interactions such as click, drag, hover, keyboard.

The old implementation of ACSets. Currently unused and undocumented, but might be used for serialization/Catlab compatibility in the future.

This contains a variety of utility functions for computing the layout of a Semagram.

Contains a variety of Sprites for displaying parts of a Semagram

A package for useful non-Semagrams-specific functionality

This package contains a variety of useful bits of UI to be used with GenericHTMLEntity and UIState