The following don't need changes now but we should make issues for them so we don't lose track:
- Bundles for monomorphisms and isomorphisms (and epimorphisms if we add those)
Originally posted by @Taneb in #2383 (review)
Under Algebra.Morphism.Bundles...
The following don't need changes now but we should make issues for them so we don't lose track:
Originally posted by @Taneb in #2383 (review)
Under
Algebra.Morphism.Bundles...