dspivak
commented
5 years ago For set S of schemas in a CQL file, there is the graph whose node-set is S and whose edge set is the that of "import" inclusions. From here, you could take the colimit. So if I name the schemas involved in the pushout, but no functors, it could default to pushing out the import-inclusion graph.
On Sun, Apr 21, 2019 at 3:02 PM Ryan Wisnesky notifications@github.com wrote:
Setting up a span and attaching morphisms takes just as many lines of code. For this to be smaller, we would need to special case pushouts from colimits by sweeping the diagram under the hood.
--
In the built-in Demo example, the schema colimit could also be made through the inclusion functors that come for free from the Import of amphibian into the two other schemas. Would you want to include another more streamlined colimit that doesn't require writing all the stuff (equations, etc.) by hand?
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/CategoricalData/CQL/issues/26, or mute the thread https://github.com/notifications/unsubscribe-auth/AADQTHT4JPMA3KXKYK6AKFDPRS25RANCNFSM4HHMGZNA .
Setting up a span and attaching morphisms takes just as many lines of code. For this to be smaller, we would need to special case pushouts from colimits by sweeping the diagram under the hood.
--
In the built-in Demo example, the schema colimit could also be made through the inclusion functors that come for free from the Import of amphibian into the two other schemas. Would you want to include another more streamlined colimit that doesn't require writing all the stuff (equations, etc.) by hand?