There is an error where using @acset_colim with an empty body (which should produce the empty ACSet on that schema) throws an error because it tries to compute an empty coproduct. This might be addressed by defining the empty coproduct to be initial or an extra case to check in the @acset_colim code. The former seems preferable.
There is an error where using
@acset_colimwith an empty body (which should produce the empty ACSet on that schema) throws an error because it tries to compute an empty coproduct. This might be addressed by defining the empty coproduct to beinitialor an extra case to check in the@acset_colimcode. The former seems preferable.