RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Search
RSS
Forthcoming seminars





You may need the following programs to see the files








Seminar of the Department of Algebra and of the Department of Algebraic Geometry (Shafarevich Seminar)
September 15, 2015 15:00, Moscow, Steklov Mathematical Institute, 9 floor, Conference-Hall
 


C-systems

V. A. Voevodsky
Video records:
MP4 3,245.1 Mb
MP4 823.1 Mb

Number of views:
This page:412
Video files:250

V. A. Voevodsky


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Abstract: Type theories are formal deduction systems similar in function to the system of predicate logic. They can be used to formalize reasoning about various aspects of the world. C-systems appear as the central class of objects in the mathematical study of type theories. They are essentially algebraic structures, i.e., algebraic structures where some operations are defined only for arguments that themselves satisfy equations on more basic operations. I will explain what C-systems are and how they arise from syntax on the one hand and from mathematical categories such as simplicial sets on the other.

Language: English

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017