diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-02-03 23:31:23 -0600 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-02-03 23:31:23 -0600 |
| commit | a8735289bf749c3d08f40be3a26f29585c879f0d (patch) | |
| tree | 7cd99af835b0ef0475289f2c25f6d22cafc3fddd /DecorationFunctor/Graph.agda | |
| parent | 8d3d3b53cfab2540ed006e768af1e41ea3d35750 (diff) | |
Show category of cospans is monoidal
Diffstat (limited to 'DecorationFunctor/Graph.agda')
0 files changed, 0 insertions, 0 deletions