diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 13:10:12 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2026-03-14 13:10:12 -0500 |
| commit | 8d7639b3caf615651fbc668b5fda17ddabb6edc6 (patch) | |
| tree | 8ca9c01918a7304824e4c68e4502cb49844a9068 /.gitignore | |
| parent | e52ff8ff8c0da0d579162b2a4d0f1e838ca85f31 (diff) | |
Add "idempotent" semiadditive dagger categoriesmain
Semiadditive dagger categories in which the induced commutative monoid
on each hom-set is idempotent, or (equivalently), is a join semilattice.
I don't know if there is a better name for this concept.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions