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
Some previous work on implementing colimits of FinCats.
An initial attempt at this is is done in this big PR: #615
The coproduct portion of that was cut out and put into the VarACSet PR (#740) because it is needed for the collage. Handling name collisions could be done better: #740 (comment)
Elsewhere there is code that implements "CondGraph" as a C-Set, which Borceux showed has a left adjoint (preserving colimits) into FinCat, making it a convenient place to compute colimits.
The text was updated successfully, but these errors were encountered:
Some previous work on implementing colimits of FinCats.
An initial attempt at this is is done in this big PR: #615
The coproduct portion of that was cut out and put into the VarACSet PR (#740) because it is needed for the collage. Handling name collisions could be done better: #740 (comment)
Elsewhere there is code that implements "CondGraph" as a C-Set, which Borceux showed has a left adjoint (preserving colimits) into FinCat, making it a convenient place to compute colimits.
The text was updated successfully, but these errors were encountered: