2024-06-22T00:25:26Z - 2024-12-22T01:25:26Z

Period: 6 months

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

Overview

1 Active Pull Request

3 Active Issues

1
Merged Pull Request 0
Proposed Pull Requests 1
Closed Issue 2
New Issues

Excluding merges, 1 author has pushed 4 commits to main and 4 commits to all branches. On main, 3 files have changed and there have been 91 additions and 1 deletion.

1 Pull request merged by 1 user

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

1 Issue closed from 1 user

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

2 Issues created by 1 user

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