You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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?
The text was updated successfully, but these errors were encountered:
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 ***@***.***> 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
<#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?
The text was updated successfully, but these errors were encountered: