Add "locally strongly finitely presentable" as a property#21

Merged

ScriptRaccoon merged 13 commits intoScriptRaccoon:mainfrom

ykawase5048:algebraic-categories

Mar 27, 2026

Commits on Mar 27, 2026

Add property lsfp

ykawase5048
authored and
ScriptRaccoon
committed
Enable target-blank

ykawase5048
authored and
ScriptRaccoon
committed
lsfp implies lfp

ykawase5048
authored and
ScriptRaccoon
committed
Emphasize one-sort condition in finitary algebraic

ykawase5048
authored and
ScriptRaccoon
committed
finalg to lsfp to regular

ykawase5048
authored and
ScriptRaccoon
committed
Change equational into algebraic

ykawase5048
authored and
ScriptRaccoon
committed
sSet lsfp

ykawase5048
authored and
ScriptRaccoon
committed
Fix grammar

ykawase5048
authored and
ScriptRaccoon
committed
locally presentable implies locally (ess) small

ykawase5048
authored and
ScriptRaccoon
committed
fix tests
ScriptRaccoon
committed
Apply suggestion from @ScriptRaccoon

ykawase5048
and
ScriptRaccoon
committed
Fill some missing information
ScriptRaccoon
committed
add related properties to lsfp
ScriptRaccoon
committed