Effective categoricity of injection structures Academic Article uri icon