| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Define tensor product of decorated cospans | Jacques Comeaux | 2 months | |
| Age | Commit message | Author | ||
| 2025-02-08 | Define tensor product of decorated cospansmain | Jacques Comeaux | ||
| 2025-02-08 | Add symmetric braiding to category of cospans | Jacques Comeaux | ||
| 2025-02-03 | Show category of cospans is monoidal | Jacques Comeaux | ||
| 2025-02-03 | Add category of finitely-cocomplete categories | Jacques Comeaux | ||
| 2025-02-03 | Update agda-categories version | Jacques Comeaux | ||
| 2024-11-18 | Improve naming | Jacques Comeaux | ||
| 2024-11-05 | Add trivial and graph decoration functors | Jacques Comeaux | ||
| 2024-10-16 | Switch decoration functor from strong to lax | Jacques Comeaux | ||
| 2024-10-01 | Finish category of decorated cospans | Jacques Comeaux | ||
| 2024-09-29 | Prove associativity for decorated cospan composition | Jacques Comeaux | ||
| [...] | ||||
| Clone | ||||
| https://git.jacquescomeaux.xyz/circuits | ||||
 |
index : circuits | |
| Tiny circuits DSL | jacques@jacquescomeaux.xyz |
| aboutsummaryrefslogtreecommitdiff |