Report - Constructive Stacks? · Constructive Stacks? Reminder: main issue The problem is how to model universes The collection of sheaves don’t form a sheaf If we de ne F(V) to be the collection

Please pass captcha verification before submit form