Module functor 

Modules

dyn_functor

Allow defining functors of lax OpenHypergraphs in terms of strict ones.

Traits

Functor

An easier-to-implement Functor trait for lax OpenHypergraph

Functions

define_map_arrowDeprecated

map_arrow_witness

Like map_arrow, but also returns a relation mapping nodes of the input term to nodes of the output term.

try_define_map_arrow

Define map_arrow for a Functor with map_object and map_operation already defined. This will fail if the input term is not quotiented.