[Turkmath:6514] FGC-Higher Structures Seminars::Michael Shulman[May 21, 2024 at 20:00 Istanbul time]

[kazimilhan.ikeda]

Sayın Matematikçiler,

Aşağıda Feza Gürsey Fizik ve Matematik UygAr Merkezi Yüksek Yapılar 
Seminerleri dizisi kapsamında 21 Mayıs Salı günü saat

20:00'da yapılacak olan konuşmanın detaylarını bulacaksınız.

İyi çalışmalar,

ilhan ikeda

----------------------------

Dear friends,

On May 21 2024, Tuesday at 20:00 Istanbul local time (10:00 San Diego 
local time), Michael Shulman
  from the University of San Diego will be the speaker of Feza Gursey 
Center for Physics and
Mathematics Higher Structure Research Group Seminars.

The details of Mike's seminar talk are as follows:

Speaker: Michael Shulman (The University of San Diego)

Date: May 21, 2024, Tuesday

Time: 20:00 Istanbul local time (10:00 San Diego local time)

Title: _ Higher Observational type theory_

Abstract:

Homotopy Type Theory is a new approach to the foundations of 
mathematics, in which the basic objects of mathematics are not sets but 
homotopy types. It is natively isomorphism-invariant and well-adapted to 
computer formalization, and can be interpreted in higher toposes to give 
a synthetic language for internal constructions and proofs. It can also 
be explained intuitively to students, giving them access to higher 
structures while avoiding the complicated machinery of combinatorial 
homotopy theory; and it can be used as a programming language, to 
compute certain invariants of higher structures by simply running code 
derived from their definitions. However, until recently it was not known 
how to achieve both of these latter two properties simultaneously with a 
single formal system. In this talk I will introduce Homotopy Type Theory 
and its applications to higher structures from perspective of Higher 
Observational Type Theory; this is a new formal system for Homotopy Type 
Theory that, we hope, is both intuitively natural and computationally 
adequate. This is joint work in progress with Thorsten Altenkirch and 
Ambrus Kaposi.

  Zoom uygulaması Bilim Akademisi tarafından sağlanmaktadır./Zoom link 
is provided by The Science Academy.
Zoom link details:
(As usual _the Zoom link will be active 30 minutes before the seminar 
time_.)

Topic: FG-Higher Structures Seminars
Date and time: May 21, 2024 19:30 Istanbul/09:30 San Diego local time

Join Zoom Meeting
https://us02web.zoom.us/j/85873239337?pwd=QUk2WmRzV0pGMGIrZkVnamkvOTZudz09 
[1]

Meeting ID: 858 7323 9337
Passcode: 367022

Best Regards,
Ilhan

Organized by Feza Gürsey Center for Physics and Mathematics
Supported by Bilim Akademisi - The Science Academy



Links:
------
[1] 
https://us02web.zoom.us/j/85873239337?pwd=QUk2WmRzV0pGMGIrZkVnamkvOTZudz09
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20240518/73f76050/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: LOGO_TUM.jpg
Type: image/jpeg
Size: 1356561 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20240518/73f76050/attachment-0001.jpg>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: FGI-logo.png
Type: image/png
Size: 45830 bytes
Desc: not available
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20240518/73f76050/attachment-0001.png>