Provide details for extensivity proofs - #313

Merged

ScriptRaccoon merged 9 commits into

mainfrom

extensive-explanation

Jul 30, 2026

Commits on Jul 28, 2026

improve notation (and ID) for the category of sets with finite-to-one maps
ScriptRaccoon
committed

Commits on Jul 30, 2026

improve extensivity proofs for Cat, Man, CRing, LRS
ScriptRaccoon
committed
add properties: countably extensive, countably coextensive
ScriptRaccoon
committed
rewording: pullback-stable -> stable under pullbacks; also use plural form consistently
ScriptRaccoon
committed