Author: Effective Kan Fibrations in Simplicial Sets