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+ "accessible" : true ,
90+ "finitely accessible" : true ,
91+ "ℵ₁-accessible" : true ,
92+ "generalized variety" : true ,
93+ "locally finitely multi-presentable" : true ,
94+ "locally multi-presentable" : true ,
95+ "locally poly-presentable" : true ,
96+ "multi-algebraic" : true ,
97+ "multi-complete" : true ,
98+ "multi-cocomplete" : true ,
99+ "multi-terminal object" : true ,
100+ "multi-initial object" : true ,
89101 "cartesian filtered colimits" : true ,
90102 "cocartesian cofiltered limits" : true ,
91103
126138 "cocartesian coclosed" : false ,
127139 "locally cocartesian coclosed" : false ,
128140 "quotient object classifier" : false ,
129- "regular quotient object classifier" : false
141+ "regular quotient object classifier" : false ,
142+ "locally copresentable" : false ,
143+ "coaccessible" : false ,
144+ "countable" : false ,
145+ "essentially countable" : false
130146}
Original file line number Diff line number Diff line change 8181 "cofiltered" : true ,
8282 "sifted" : true ,
8383 "cosifted" : true ,
84+ "accessible" : true ,
85+ "finitely accessible" : true ,
86+ "ℵ₁-accessible" : true ,
87+ "generalized variety" : true ,
88+ "locally finitely multi-presentable" : true ,
89+ "locally multi-presentable" : true ,
90+ "locally poly-presentable" : true ,
91+ "multi-algebraic" : true ,
92+ "multi-complete" : true ,
93+ "multi-cocomplete" : true ,
94+ "multi-terminal object" : true ,
95+ "multi-initial object" : true ,
8496 "cartesian filtered colimits" : true ,
8597 "cocartesian cofiltered limits" : true ,
8698
126138 "kernels" : false ,
127139 "cokernels" : false ,
128140 "normal" : false ,
129- "conormal" : false
141+ "conormal" : false ,
142+ "locally copresentable" : false ,
143+ "coaccessible" : false ,
144+ "countable" : false ,
145+ "essentially countable" : false
130146}
Original file line number Diff line number Diff line change 6565 "cofiltered" : true ,
6666 "sifted" : true ,
6767 "cosifted" : true ,
68+ "multi-complete" : true ,
69+ "multi-cocomplete" : true ,
70+ "multi-terminal object" : true ,
71+ "multi-initial object" : true ,
6872 "cocartesian cofiltered limits" : true ,
6973
7074 "abelian" : false ,
126130 "cokernels" : false ,
127131 "normal" : false ,
128132 "conormal" : false ,
133+ "accessible" : false ,
134+ "finitely accessible" : false ,
135+ "ℵ₁-accessible" : false ,
136+ "generalized variety" : false ,
137+ "locally finitely multi-presentable" : false ,
138+ "locally multi-presentable" : false ,
139+ "locally poly-presentable" : false ,
140+ "multi-algebraic" : false ,
141+ "locally copresentable" : false ,
142+ "coaccessible" : false ,
143+ "countable" : false ,
144+ "essentially countable" : false ,
129145 "cartesian filtered colimits" : false
130146}
You can’t perform that action at this time.
0 commit comments