M7170 Reading seminar from category theory

Přírodovědecká fakulta
podzim 2024
Rozsah
0/1/0. 1 kr. (příf plus uk k 1 zk 2 plus 1 > 4). Ukončení: z.
Vyučováno kontaktně
Vyučující
doc. John Denis Bourke, PhD (přednášející)
Garance
prof. RNDr. Jiří Rosický, DrSc.
Ústav matematiky a statistiky – Ústavy – Přírodovědecká fakulta
Dodavatelské pracoviště: Ústav matematiky a statistiky – Ústavy – Přírodovědecká fakulta
Rozvrh
Čt 14:00–14:50 MS1,01016
Předpoklady
M2150 Algebra I || M2155 Algebra 1 || ( FI:MB008 Algebra I ) || PROGRAM(N-MA) || PROGRAM(1433:N-IN)
Graduation of M7150 Category theory.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 16 stud.
Momentální stav registrace a zápisu: zapsáno: 2/16, pouze zareg.: 0/16, pouze zareg. s předností (mateřské obory): 0/16
Mateřské obory/plány
  • Matematika (program PřF, M-MA, směr Diskrétní matematika)
  • Matematika (program PřF, N-MA, směr Diskrétní matematika)
Cíle předmětu
An ability to understand and present research papers in category theory including a survey of related literature.
Výstupy z učení
Mastering of given special areas of category theory. A preparation for an independent research work in this area.
Osnova
  • The seminar will (tentatively) involve papers and textbooks covering some of the following themes:
  • 1) ultraproducts in category theory;
  • 2) algebraic set theory;
  • 3) size in category theory;
  • 4) TBA;
  • 5) TBA;
  • The list of associated papers, to be updated, is
  • 1) Garner - Ultraproducts, finite coproductxs and locally connected classifying toposes
  • 2) Awodey - A brief introduction to algebraic set theory
  • 3) Shulman - Set theory for category theory.
  • 4) TBA.
  • 5) TBA.
Výukové metody
The plan is that this will be a live seminar, though could be in hybrid form with some talks online.
Metody hodnocení
Evaluation of an activity.
Vyučovací jazyk
Angličtina
Předmět je zařazen také v obdobích podzim 2007 - akreditace, podzim 1999, podzim 2001, podzim 2003, podzim 2005, podzim 2007, podzim 2009, jaro 2019, jaro 2021, podzim 2021, jaro 2022, podzim 2022, jaro 2023, podzim 2023, jaro 2024, jaro 2025, podzim 2025, jaro 2026.