Kategoryjna teoria instytucji
- Speaker(s)
- Michał R. Przybyłek
- Affiliation
- Uniwersytet Warszawski
- Date
- April 12, 2010, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
Na seminarium opowiem o swoich najnowszych pracach związanych z kateogryjnym podejściem do połączenia, zmieniających się wzdłuż ustalonego języka, świata teorii i świata modeli. Będzie o modułach, prorozwłóknieniach i kategoryzacji pojęcia instytucji.