2023-12-22T01:36:47Z - 2024-12-22T01:36:47Z

Period: 1 year

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

2 Active Pull Requests

5 Active Issues

2
Merged Pull Requests 0
Proposed Pull Requests 2
Closed Issues 3
New Issues

Excluding merges, 1 author has pushed 10 commits to main and 10 commits to all branches. On main, 8 files have changed and there have been 247 additions and 3 deletions.

2 Pull requests merged by 1 user

Merged #5 Triangles 2024-06-22 16:14:23 +01:00

Merged #4 Initial objects 2024-06-20 11:49:46 +01:00

2 Issues closed from 1 user

Closed #3 Morphisms in slice categories over thinnings are unique 2024-06-22 16:14:23 +01:00

Closed #1 Thinnings have an initial object 2024-06-20 11:49:46 +01:00

3 Issues created by 1 user

Opened #2 Thinnings have a monoidal structure with ++ 2024-06-20 08:54:20 +01:00

Opened #6 Things-with-thinnings monad 2024-06-22 16:18:10 +01:00

Opened #7 Are thinnings a displayed category? 2024-06-22 16:18:34 +01:00