Add three categories of large families of sets - #369

Merged

ScriptRaccoon merged 8 commits into

mainfrom

Sep 13, 2026

Commits on Sep 12, 2026

strengthen result about cartesian closed categories
ScriptRaccoon
committed
f18a5b7
add the category of large families of sets which are mostly singletons
ScriptRaccoon
committed
e647b05

Commits on Sep 13, 2026

add product categories to foundations page
ScriptRaccoon
committed
7f6b42a
rename Set_disc_Ab to Ab_family and change its notation and name; change notation of SeqAb
ScriptRaccoon
committed
f90f136
add the category of large families of sets which are mostly empty
ScriptRaccoon
committed
2d79c96
remove redundant assignments from Z
ScriptRaccoon
committed
659fa70
add the category of large families of sets
ScriptRaccoon
committed
da26df6
rename Vect_family to Vect_family_mostly_0
ScriptRaccoon
committed
2be5aaa