Gatlab should provide scaffolding to simplify the seralization of instances of GATs. For example, when deserializing a morphism in a category, the domain and codomain objects should be deserialized first, and then these should be available when deserializing the data of the morphism itself. This logic is independent of the details or even the format of the serialization.
Gatlab should provide scaffolding to simplify the seralization of instances of GATs. For example, when deserializing a morphism in a category, the domain and codomain objects should be deserialized first, and then these should be available when deserializing the data of the morphism itself. This logic is independent of the details or even the format of the serialization.