[Alta-Logic] Peripatetic seminar talk (13th October)

[Robin Cockett]

Time:
      11:00pm, Wednesday, 13th October 2010

Place:
      ICT 616

Speaker:
      Clifton Cunningham

Title:
      Schemes defined .... (in 50min)

Abstract:
      As a step toward proving:
              Total(Manifold(Join(Partial(CRing^{op},fgLocalisation)))) 
= Schemes
      I shall define the right-hand side. As such, this is a 
continuation of Geoff Crutwell's talk.