Reed Mullanix
Reed Mullanix
Emacs can handle markdown very well, so it's probably the best option on my end.
These all seem like great changes! When we do this, we should probably update `Pushout` as well.
It's a bit weird for sure, but consistent with `Epi`/`Mono` et. al. In #340 I adopted the convention that `IsExtremalEpi` denotes a property of an _epi_, not a morphism, and...
At the very least we could go with `g₁, g₂` to mirror the names in `Epi`/`Mono`. It also avoids the shadowing issues.
Ugh, moved to a new computer and git config is messed up. Will fix
So I noticed the Communitive Monoid Enriched stuff when I was writing this, but there is one reason that I didn't include the definition in `Preadditive`. I've defined `Preadditive` as...
Sorry for dropping these big PRs, It is a bad habit! I'll spin of the biproduct + reasoning combinators into separate PRs.
I've spun out Biproducts and the reasoning combinators into #250 and #251, respectively.
To be honest I had totally forgotten about this! I'll try and get this over the finish line next week!
The ones that come to mind are `NTHelper` and `NIHelper`. I've been thinking about this whole bundling situation for a while now, and I think I have a generic solution....