Set.json

{
	"Cauchy complete": true,
	"Grothendieck topos": true,
	"balanced": true,
	"binary coproducts": true,
	"binary products": true,
	"cartesian closed": true,
	"locally cartesian closed": true,
	"cocomplete": true,
	"coequalizers": true,
	"cogenerator": true,
	"cogenerating set": true,
	"complete": true,
	"connected": true,
	"semi-strongly connected": true,
	"connected colimits": true,
	"connected limits": true,
	"coproducts": true,
	"countable coproducts": true,
	"countable products": true,
	"disjoint coproducts": true,
	"disjoint finite coproducts": true,
	"distributive": true,
	"elementary topos": true,
	"epi-regular": true,
	"equalizers": true,
	"exact filtered colimits": true,
	"filtered colimits": true,
	"cofiltered limits": true,
	"directed limits": true,
	"directed colimits": true,
	"finitary algebraic": true,
	"finite coproducts": true,
	"finite products": true,
	"finitely cocomplete": true,
	"finitely complete": true,
	"generator": true,
	"generating set": true,
	"infinitary distributive": true,
	"inhabited": true,
	"initial object": true,
	"locally essentially small": true,
	"locally finitely presentable": true,
	"locally presentable": true,
	"locally small": true,
	"locally ℵ₁-presentable": true,
	"mono-regular": true,
	"products": true,
	"pullbacks": true,
	"pushouts": true,
	"sequential colimits": true,
	"sequential limits": true,
	"strict initial object": true,
	"subobject classifier": true,
	"terminal object": true,
	"well-copowered": true,
	"well-powered": true,
	"wide pullbacks": true,
	"wide pushouts": true,
	"regular": true,
	"coregular": true,
	"extensive": true,
	"infinitary extensive": true,
	"co-Malcev": true,
	"locally strongly finitely presentable": true,
	"regular subobject classifier": true,
	"coreflexive equalizers": true,
	"reflexive coequalizers": true,
	"cosifted limits": true,
	"sifted colimits": true,
	"powers": true,
	"countable powers": true,
	"finite powers": true,
	"binary powers": true,
	"copowers": true,
	"countable copowers": true,
	"finite copowers": true,
	"binary copowers": true,
	"filtered": true,
	"cofiltered": true,
	"sifted": true,
	"cosifted": true,
	"accessible": true,
	"finitely accessible": true,
	"ℵ₁-accessible": true,
	"generalized variety": true,
	"locally finitely multi-presentable": true,
	"locally multi-presentable": true,
	"locally poly-presentable": true,
	"multi-algebraic": true,
	"multi-complete": true,
	"multi-cocomplete": true,
	"multi-terminal object": true,
	"multi-initial object": true,
	"cartesian filtered colimits": true,
	"cocartesian cofiltered limits": true,
	"natural numbers object": true,
	"countably distributive": true,

	"Grothendieck abelian": false,
	"Malcev": false,
	"abelian": false,
	"additive": false,
	"discrete": false,
	"essentially discrete": false,
	"essentially finite": false,
	"essentially small": false,
	"finite": false,
	"groupoid": false,
	"left cancellative": false,
	"pointed": false,
	"preadditive": false,
	"right cancellative": false,
	"self-dual": false,
	"skeletal": false,
	"small": false,
	"split abelian": false,
	"strict terminal object": false,
	"thin": false,
	"trivial": false,
	"zero morphisms": false,
	"codistributive": false,
	"infinitary codistributive": false,
	"biproducts": false,
	"disjoint finite products": false,
	"disjoint products": false,
	"coextensive": false,
	"infinitary coextensive": false,
	"unital": false,
	"counital": false,
	"direct": false,
	"inverse": false,
	"one-way": false,
	"cocartesian coclosed": false,
	"locally cocartesian coclosed": false,
	"strongly connected": false,
	"quotient object classifier": false,
	"regular quotient object classifier": false,
	"kernels": false,
	"cokernels": false,
	"normal": false,
	"conormal": false,
	"locally copresentable": false,
	"coaccessible": false,
	"countable": false,
	"essentially countable": false,
	"countably codistributive": false
}