Add "locally strongly finitely presentable" as a property

[ykawase5048]

The property "locally strongly finitely presentable" is the many-sorted extension of the existing property "finitary algebraic".

I also removed "locally ess. small" from the definition of "locally (finitely) presentable" categories, because it follows from the other conditions. (More generally, this still holds for accessible categories.)

[ScriptRaccoon]

From http://localhost:5173/property/locally_strongly_finitely_presentable:

---

Unknown

There are 7 categories for which the database has no information on whether they satisfy this property. [...]

category of abelian sheaves
category of locally ringed spaces
category of measurable spaces
category of sheaves
dual of the category of sets
partial order of extended natural numbers
walking composable pair

---

Can you please try to settle those categories where it is easy?

[ScriptRaccoon]

I made 86b7064 so that the tests pass (which run when using pnpm db:testor pnpm db:update --- I recommend to use this command).

[ykawase5048]

I made 86b7064 so that the tests pass (which run when using pnpm db:testor pnpm db:update --- I recommend to use this command).

It would be good to mention this requirement in the contribution guideline.

[ykawase5048]

Can you please try to settle those categories where it is easy?

I have dealt with some easier ones in efe6973.
The others will take some effort, so I’d like to postpone them for now.

[ScriptRaccoon]

I made 86b7064 so that the tests pass (which run when using pnpm db:testor pnpm db:update --- I recommend to use this command).

It would be good to mention this requirement in the contribution guideline.

The command pnpm db:update is mentioned. And this command executes pnpm db:test in particular. If you think it could be clearer, I am all ears. :)

[ykawase5048]

The command pnpm db:update is mentioned. And this command executes pnpm db:test in particular. If you think it could be clearer, I am all ears. :)

I did run the command, but I wasn’t sure how to deal with the error. (probably, simply because I’m still a beginner at coding)

It might be helpful to mention in Contribution Guideline that, when adding a new property, one also needs to edit the files under scripts/expected-data, and to briefly explain why this is necessary.

[ScriptRaccoon]

Ok, I have mentioned this in 8fc6523.