FinSetsForCAP The (skeletal) elementary topos of finite sets Documentation This is the Julia version of the CAP-based package FinSetsForCAP.