File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 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 ,
Original file line number Diff line number Diff line change 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 ,
Original file line number Diff line number Diff line change 6565 "cofiltered" : true ,
6666 "sifted" : true ,
6767 "cosifted" : true ,
68+ "cocartesian cofiltered limits" : true ,
6869
6970 "abelian" : false ,
7071 "additive" : false ,
124125 "kernels" : false ,
125126 "cokernels" : false ,
126127 "normal" : false ,
127- "conormal" : false
128+ "conormal" : false ,
129+ "cartesian filtered colimits" : false
128130}
You can’t perform that action at this time.
0 commit comments