SchWiringDiagram

The names of the product elements

The name of the type

The mirrored *-type

A superset of properties (Property) occuring in the schema. For serialization.

Create an empty ACSet from this schema.

Create a new instance of type T with elements taken from product p.

Returns all of the homs that go into the given part type Each hom is prefixed by a path of objects needed to get to that hom

Serializer that includes runtime information (e.g., window size)

Returns the subschema found by following the path in ty.

Returns all subschemas of the schemas

Serialization of ACSetss based on the schema

Serialization of Obs in the schema

Serialization of Parts in the schema

Serialization of PartTypes in the schema

Serialization of PartSets occuring in the schema. Note that this omits the nextID and rebuilds it from the sequence of ids.

Serialization of PropMaps in the schema, writing json objects for Parts and values for other properties.

Serialization of properties (Property) in the schema

Serialization of Schemas occuring in the schema