Taneb
0 Followers · 0 Following
  • Joined on 2023-07-10
Repositories
4
 Projects Packages Public Activity Watched Repositories
Taneb opened issue Taneb/thinnings#6 2024-06-22 16:18:10 +01:00
Things-with-thinnings monad
Taneb pushed to main at Taneb/thinnings 2024-06-22 16:14:24 +01:00
fc605de0a6 Add that slices are unique
3e2ea54030 Add a uniqueness property
d2557b6967 Add triangle definitions
Compare 3 commits »
Taneb deleted branch tri from Taneb/thinnings 2024-06-22 16:14:24 +01:00
Taneb merged pull request Taneb/thinnings#5 2024-06-22 16:14:23 +01:00
Triangles
Taneb closed issue Taneb/thinnings#3 2024-06-22 16:14:23 +01:00
Morphisms in slice categories over thinnings are unique
Taneb pushed to tri at Taneb/thinnings 2024-06-22 16:14:05 +01:00
fc605de0a6 Add that slices are unique
Taneb created pull request Taneb/thinnings#5 2024-06-22 15:53:56 +01:00
Triangles
Taneb created branch tri in Taneb/thinnings 2024-06-22 15:52:57 +01:00
Taneb pushed to tri at Taneb/thinnings 2024-06-22 15:52:57 +01:00
3e2ea54030 Add a uniqueness property
d2557b6967 Add triangle definitions
Compare 2 commits »
Taneb pushed to main at Taneb/thinnings 2024-06-20 11:49:47 +01:00
19d2e98ef0 Define initial object structure
a0a743ac71 Show that it's unique
19141b121b Add thinning from empty list
Compare 3 commits »
Taneb deleted branch initial-objects from Taneb/thinnings 2024-06-20 11:49:47 +01:00
Taneb merged pull request Taneb/thinnings#4 2024-06-20 11:49:46 +01:00
Initial objects
Taneb closed issue Taneb/thinnings#1 2024-06-20 11:49:46 +01:00
Thinnings have an initial object
Taneb created pull request Taneb/thinnings#4 2024-06-20 11:49:29 +01:00
Initial objects
Taneb created branch initial-objects in Taneb/thinnings 2024-06-20 09:26:05 +01:00
Taneb pushed to initial-objects at Taneb/thinnings 2024-06-20 09:26:05 +01:00
19d2e98ef0 Define initial object structure
a0a743ac71 Show that it's unique
19141b121b Add thinning from empty list
Compare 3 commits »
Taneb opened issue Taneb/thinnings#3 2024-06-20 08:57:34 +01:00
Morphisms in slice categories over thinnings are unique
Taneb opened issue Taneb/thinnings#2 2024-06-20 08:54:20 +01:00
Thinnings have a monoidal structure with ++
Taneb opened issue Taneb/thinnings#1 2024-06-20 08:53:56 +01:00
Thinnings have an initial object
Taneb created branch main in Taneb/thinnings 2024-06-20 08:18:19 +01:00