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
This issue is the dual of #535: we want data migrations from C-sets to D-sets specified by a functor D -> Diag(C), where Diag(C) is the (covariant) category of diagrams and their morphisms. I am calling these "gluing queries" or "agglomerative queries" because they involve computing colimits.
An important special case is when the diagrams are discrete, meaning that coproducts are computed. David Spivak calls these "linear queries."
The text was updated successfully, but these errors were encountered:
This issue is the dual of #535: we want data migrations from C-sets to D-sets specified by a functor D -> Diag(C), where Diag(C) is the (covariant) category of diagrams and their morphisms. I am calling these "gluing queries" or "agglomerative queries" because they involve computing colimits.
An important special case is when the diagrams are discrete, meaning that coproducts are computed. David Spivak calls these "linear queries."
The text was updated successfully, but these errors were encountered: