Add related pairs of properties

Author: ykawase5048

database/data/003_properties/100_related_properties.sql

@@ -36,28 +36,41 @@ VALUES
 ('locally finitely presentable', 'locally presentable'),
 ('locally finitely presentable', 'locally strongly finitely presentable'),
 ('locally finitely presentable', 'locally ℵ₁-presentable'),
+('locally finitely presentable', 'finitely accessible'),
+('locally finitely presentable', 'locally finitely multi-presentable'),
 ('locally strongly finitely presentable', 'locally finitely presentable'),
+('locally strongly finitely presentable', 'multi-algebraic'),
+('locally strongly finitely presentable', 'generalized variety'),
 ('locally presentable', 'cocomplete'),
 ('locally presentable', 'locally finitely presentable'),
 ('locally presentable', 'locally ℵ₁-presentable'),
+('locally presentable', 'accessible'),
+('locally presentable', 'locally multi-presentable'),
+('locally presentable', 'locally poly-presentable'),
+('locally presentable', 'locally copresentable'),
 ('locally ℵ₁-presentable', 'cocomplete'),
 ('locally ℵ₁-presentable', 'locally finitely presentable'),
 ('locally ℵ₁-presentable', 'locally presentable'),
+('locally ℵ₁-presentable', 'ℵ₁-accessible'),
 ('elementary topos', 'Grothendieck topos'),
 ('elementary topos', 'cartesian closed'),
 ('elementary topos', 'finitely complete'),
 ('elementary topos', 'subobject classifier'),
 ('Grothendieck topos', 'elementary topos'),
 ('initial object', 'finite coproducts'),
+('initial object', 'multi-initial object'),
 ('terminal object', 'finite products'),
+('terminal object', 'multi-terminal object'),
 ('complete', 'equalizers'),
 ('complete', 'products'),
+('complete', 'multi-complete'),
 ('equalizers', 'finitely complete'),
 ('equalizers', 'coreflexive equalizers'),
 ('coequalizers', 'finitely cocomplete'),
 ('coequalizers', 'reflexive coequalizers'),
 ('cocomplete', 'coequalizers'),
 ('cocomplete', 'coproducts'),
+('cocomplete', 'multi-cocomplete'),
 ('products', 'complete'),
 ('products', 'finite products'),
 ('products', 'powers'),
@@ -110,8 +123,14 @@ VALUES
 ('essentially discrete', 'discrete'),
 ('finite', 'essentially finite'),
 ('finite', 'small'),
+('finite', 'countable'),
 ('essentially finite', 'finite'),
 ('essentially finite', 'essentially small'),
+('essentially finite', 'essentially countable'),
+('countable', 'essentially countable'),
+('countable', 'finite'),
+('essentially countable', 'countable'),
+('essentially countable', 'essentially finite'),
 ('pullbacks', 'wide pullbacks'),
 ('pullbacks', 'binary products'),
 ('pushouts', 'wide pushouts'),
@@ -248,4 +267,52 @@ VALUES
 ('filtered', 'finitely cocomplete'),
 ('filtered', 'filtered colimits'),
 ('cofiltered', 'finitely complete'),
-('cofiltered', 'cofiltered limits');
+('cofiltered', 'cofiltered limits'),
+('multi-complete', 'complete'),
+('multi-complete', 'multi-terminal object'),
+('multi-terminal object', 'multi-complete'),
+('multi-terminal object', 'terminal object'),
+('multi-cocomplete', 'cocomplete'),
+('multi-cocomplete', 'multi-initial object'),
+('multi-initial object', 'multi-cocomplete'),
+('multi-initial object', 'initial object'),
+('accessible', 'finitely accessible'),
+('accessible', 'ℵ₁-accessible'),
+('accessible', 'locally presentable'),
+('accessible', 'locally multi-presentable'),
+('accessible', 'locally poly-presentable'),
+('accessible', 'coaccessible'),
+('ℵ₁-accessible', 'accessible'),
+('ℵ₁-accessible', 'finitely accessible'),
+('ℵ₁-accessible', 'locally ℵ₁-presentable'),
+('finitely accessible', 'accessible'),
+('finitely accessible', 'ℵ₁-accessible'),
+('finitely accessible', 'locally finitely presentable'),
+('finitely accessible', 'locally finitely multi-presentable'),
+('finitely accessible', 'filtered colimits'),
+('locally multi-presentable', 'locally finitely multi-presentable'),
+('locally multi-presentable', 'locally presentable'),
+('locally multi-presentable', 'locally poly-presentable'),
+('locally multi-presentable', 'accessible'),
+('locally multi-presentable', 'multi-cocomplete'),
+('locally multi-presentable', 'connected limits'),
+('locally finitely multi-presentable', 'locally multi-presentable'),
+('locally finitely multi-presentable', 'finitely accessible'),
+('locally finitely multi-presentable', 'filtered colimits'),
+('locally finitely multi-presentable', 'multi-cocomplete'),
+('locally finitely multi-presentable', 'connected limits'),
+('locally finitely multi-presentable', 'multi-algebraic'),
+('locally poly-presentable', 'locally presentable'),
+('locally poly-presentable', 'locally multi-presentable'),
+('locally poly-presentable', 'accessible'),
+('locally poly-presentable', 'wide pullbacks'),
+('multi-algebraic', 'locally finitely multi-presentable'),
+('multi-algebraic', 'locally strongly finitely presentable'),
+('multi-algebraic', 'generalized variety'),
+('multi-algebraic', 'sifted colimits'),
+('multi-algebraic', 'multi-cocomplete'),
+('generalized variety', 'multi-algebraic'),
+('generalized variety', 'locally strongly finitely presentable'),
+('generalized variety', 'sifted colimits'),
+('locally copresentable', 'locally presentable'),
+('coaccessible', 'accessible');