effective-topos

FloxHub publication `bmorphism/effective-topos` - a comprehensive development