×
Študij fizike Študij matematike Raziskave O fakulteti EN
Dogodki Obvestila Imenik Urniki Knjižnica Založba Za sodelavce Iskanje

Andrej Bauer: Bourbaki-Wittov in Knaster-Tarskijev izrek v toposih, 2. del

Datum objave: 1. 3. 2010
Seminar za temelje matematike in teoretično računalništvo
Torek, 2. marec 2010, od 12h do 14h, Plemljev seminar, Jadranska 19

Povzetek: Nadaljevali bomo z obravnavo Bourbaki-Wittovega izreka. Tokrat bomo pokazali, da inverzna slika geometrijskega morfizma med toposema ohranja veljavnost Bourbaki-Wittovega izreka. Od tod neposredno sledi, da Bourbaki-Wittov izrek velja v vseh toposih z majhnimi kolimitami, kot so na primer Grothendieckovi toposi.

Vabljeni!

čet
13
Nov
Sewon Park: Designing a Modeling Language for Security Verification of Networked Systems
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, 3.07
čet
6
Nov
Dario Stein: Categories of Relations which Compose Independently
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
23
Okt
Andrew Swan: The cohomology of the natural numbers in cubical assemblies
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, učilnica 3.07
čet
16
Okt
David E. Narvaez: Separating and Collapsing Electoral Control Types, More Formally
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.07
čet
25
Sep
Matija Pretnar: Simetrično programiranje
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.04

Vsa obvestila