Determine some accessibilities of Met#297

Merged

ScriptRaccoon merged 4 commits into

ScriptRaccoon:mainfrom

ykawase5048:accessibility-of-met

Jul 20, 2026

Commits on Jul 17, 2026

Commits on Jul 18, 2026

finitely accessible categories have filtered-colimit-stable monos
ScriptRaccoon
committed

Commits on Jul 19, 2026

generalized varieties have filtered-colimit-stable monos
ScriptRaccoon
committed