Computable type and computably categorical spaces. - Zvonko Iljazovic; Patrik Vasung (J. Complex., 2026)