Taneb

Taneb pushed to main at Taneb/thinnings

2024-06-24 00:21:33 +01:00

1edc14d2bd Add gitignore

Taneb opened issue Taneb/thinnings#7

2024-06-22 16:18:34 +01:00

Are thinnings a displayed category?

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 ++