Skip to content

Commit 55423e0

Browse files
committed
adjust test files
1 parent f4300d5 commit 55423e0

3 files changed

Lines changed: 7 additions & 1 deletion

File tree

scripts/expected-data/Ab.json

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -86,6 +86,8 @@
8686
"cokernels": true,
8787
"normal": true,
8888
"conormal": true,
89+
"cartesian filtered colimits": true,
90+
"cocartesian cofiltered limits": true,
8991

9092
"cartesian closed": false,
9193
"locally cartesian closed": false,

scripts/expected-data/Set.json

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -81,6 +81,8 @@
8181
"cofiltered": true,
8282
"sifted": true,
8383
"cosifted": true,
84+
"cartesian filtered colimits": true,
85+
"cocartesian cofiltered limits": true,
8486

8587
"Grothendieck abelian": false,
8688
"Malcev": false,

scripts/expected-data/Top.json

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,6 +65,7 @@
6565
"cofiltered": true,
6666
"sifted": true,
6767
"cosifted": true,
68+
"cocartesian cofiltered limits": true,
6869

6970
"abelian": false,
7071
"additive": false,
@@ -124,5 +125,6 @@
124125
"kernels": false,
125126
"cokernels": false,
126127
"normal": false,
127-
"conormal": false
128+
"conormal": false,
129+
"cartesian filtered colimits": false
128130
}

0 commit comments

Comments
 (0)