[[nlab:Vladimir Voevodsky]] category: people