1,399 followers
RT @n_category: @CreeepyJoe This is only very vaguely related, but Hamana has an interesting-looking paper on the Grothendieck construction…
RT @n_category: @CreeepyJoe This is only very vaguely related, but Hamana has an interesting-looking paper on the Grothendieck construction…
@CreeepyJoe This is only very vaguely related, but Hamana has an interesting-looking paper on the Grothendieck construction and polymorphic abstract syntax: https://t.co/HhMRBVgPqI