Logic from the Point of View of Category Theory 2009/10
A semestral course at the
Department of Logic,
Faculty of Philosophy and Arts,
Charles University in Prague,
in the summer term 2009/10
(faculty code ALGV00008);
a follow-up of the course
Category Theory.
See also the previous run of the course in 2007/8.
Syllabus
- 2 Mar 2010
- Exponentiation, Cartesian closed categories
- 9 Mar 2010
- Subobjects
- 15 Mar 2010
- Elements and properties, (co)separator
- 23 Mar
- Subobject classifier, elementary topos
- 6 Apr
- Examples of topoi (Set-arrows, bundles)
- 13 Apr
- Logical connectives in topoi, algebra of subobjects
- 20 Apr
- Axiom of choice, natural number object
- 27 Apr
- Adjunction
- 4 May
- Lawvere's axiomatization ETCS of the category of sets
- 11 May
- McLarty's axiomatization CC of the category of categories