BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:someone 1
DTSTART:20210519T173000Z
DTEND:20210519T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/1/
 ">example1</a>\nby someone 1 as part of Differential Cohesive Topos\n\nAbs
 tract: TBA\n
LOCATION:https://researchseminars.org/talk/DifCohTop/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:someone 2
DTSTART:20210526T173000Z
DTEND:20210526T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/2/
 ">example2</a>\nby someone 2 as part of Differential Cohesive Topos\n\nAbs
 tract: TBA\n
LOCATION:https://researchseminars.org/talk/DifCohTop/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:someone
DTSTART:20210903T173000Z
DTEND:20210903T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/3/
 ">Smooth 0-type and Differential forms</a>\nby someone as part of Differen
 tial Cohesive Topos\n\n\nAbstract\nWe discuss about [DCCIT\, v2] Introduct
 ion 1.2.1 to 1.2.4\n
LOCATION:https://researchseminars.org/talk/DifCohTop/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:someone
DTSTART:20210910T173000Z
DTEND:20210910T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/4/
 ">Smooth homotopy types</a>\nby someone as part of Differential Cohesive T
 opos\n\n\nAbstract\nWe discuss about [DCCIT\, v2] Introduction 1.2.5\n
LOCATION:https://researchseminars.org/talk/DifCohTop/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:someone
DTSTART:20210917T173000Z
DTEND:20210917T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/5/
 ">Principal bundles</a>\nby someone as part of Differential Cohesive Topos
 \n\n\nAbstract\nWe discuss about [DCCIT\, v2] Introduction 1.2.6\n
LOCATION:https://researchseminars.org/talk/DifCohTop/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:soneone
DTSTART:20210924T173000Z
DTEND:20210924T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/6/
 ">Principal connections and Characteristic classes</a>\nby soneone as part
  of Differential Cohesive Topos\n\n\nAbstract\nWe discuss about [DCCIT\, v
 2] Introduction 1.2.7 to 1.2.8\n
LOCATION:https://researchseminars.org/talk/DifCohTop/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:soneone
DTSTART:20211001T173000Z
DTEND:20211001T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/7/
 ">Lie algebras and The Chern-Weil homomorphism</a>\nby soneone as part of 
 Differential Cohesive Topos\n\n\nAbstract\nWe discuss about [DCCIT\, v2] I
 ntroduction 1.2.9 to 1.2.10\n
LOCATION:https://researchseminars.org/talk/DifCohTop/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Keyao Peng
DTSTART:20210611T173000Z
DTEND:20210611T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/8/
 ">Topos: a first introduction</a>\nby Keyao Peng as part of Differential C
 ohesive Topos\n\n\nAbstract\nWe introduce some basic aspects of Topos.\nA 
 good reference is sheaves in geometry and logic. And I will also follow th
 e notes of Rezk\n
LOCATION:https://researchseminars.org/talk/DifCohTop/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Felix Cherubini
DTSTART:20210625T150000Z
DTEND:20210625T163000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/9/
 ">Homotopy type theory</a>\nby Felix Cherubini as part of Differential Coh
 esive Topos\n\n\nAbstract\nHomotopy Type Theory (HoTT) is a language that 
 describes what can be done with the objects of one fixed infinity-topos. T
 he goals of my talk will be to give a sense what working in HoTT is like a
 nd what the scope of this approach to higher structures is.\n
LOCATION:https://researchseminars.org/talk/DifCohTop/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:wait for you
DTSTART:20210702T173000Z
DTEND:20210702T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/10
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/10
 /">Infinity category theory for undergraduates</a>\nby wait for you as par
 t of Differential Cohesive Topos\n\n\nAbstract\nrefer to Emily Riehl https
 ://www.youtube.com/watch?v=A6hXn6QCu0k\n
LOCATION:https://researchseminars.org/talk/DifCohTop/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:wait for you
DTSTART:20210709T173000Z
DTEND:20210709T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/11
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/11
 /">Cohesive topos</a>\nby wait for you as part of Differential Cohesive To
 pos\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/DifCohTop/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:wait for you
DTSTART:20210716T173000Z
DTEND:20210716T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/12
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/12
 /">Accessible and presentable category</a>\nby wait for you as part of Dif
 ferential Cohesive Topos\n\n\nAbstract\nfollow Lurie's paper https://arxiv
 .org/abs/math/0306109\n
LOCATION:https://researchseminars.org/talk/DifCohTop/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:wait for you
DTSTART:20210723T173000Z
DTEND:20210723T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/13
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/13
 /">Infinity topos</a>\nby wait for you as part of Differential Cohesive To
 pos\n\n\nAbstract\nfollow Lurie's paper https://arxiv.org/abs/math/0306109
 \n
LOCATION:https://researchseminars.org/talk/DifCohTop/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:wait for you
DTSTART:20210730T173000Z
DTEND:20210730T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/14
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/14
 /">Differential cohesive topos</a>\nby wait for you as part of Differentia
 l Cohesive Topos\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/DifCohTop/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:wait for you
DTSTART:20210806T173000Z
DTEND:20210806T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/15
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/15
 /">Infinity topos and homotopy type theory</a>\nby wait for you as part of
  Differential Cohesive Topos\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/DifCohTop/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:wait for you
DTSTART:20210813T173000Z
DTEND:20210813T190000Z
DTSTAMP:20260409T030805Z
UID:DifCohTop/16
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/DifCohTop/16
 /">Cohesive Infinity topos and modal homotopy type theory</a>\nby wait for
  you as part of Differential Cohesive Topos\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/DifCohTop/16/
END:VEVENT
END:VCALENDAR