Add accessible categories and related properties#97

Merged

ScriptRaccoon merged 13 commits intomainfrom

add-accessible-rewrite

Apr 17, 2026

Commits on Apr 17, 2026

update tex file

ykawase5048
authored and
ScriptRaccoon
committed
add property countable, remove invalid implication finite => small

ykawase5048
authored and
ScriptRaccoon
committed
add multi-complete and variants

ykawase5048
authored and
ScriptRaccoon
committed
add accessible and variants

ykawase5048
authored and
ScriptRaccoon
committed
add property relationships

ykawase5048
authored and
ScriptRaccoon
committed
add results about multi-complete categories

ykawase5048
authored and
ScriptRaccoon
committed
add results about accessible and related categories

ykawase5048
authored and
ScriptRaccoon
committed
decide (co)accessibility for various categories

ykawase5048
authored and
ScriptRaccoon
committed
identify examples of multi-algebraic categories

ykawase5048
authored and
ScriptRaccoon
committed
remove redundant property of Set^op

ykawase5048
authored and
ScriptRaccoon
committed
assign multi-completeness

ykawase5048
authored and
ScriptRaccoon
committed
adjust test files

ykawase5048
authored and
ScriptRaccoon
committed
Delta is countable
ScriptRaccoon
committed