Sygnatury algebraiczne z porządkiem na symbolach

Prelegent(ci)

Grzegorz Marczyński

Afiliacja

Uniwersytet Warszawski

Termin

16 listopada 2009 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Na seminarium przedstawię wyniki mojej pracy nad sygnaturami algebraicznymi, które zawierają relację zależności pomiędzy symbolami. Pokażę też definicję kategorii fragmentów takich sygnatur, pullback-pushout uzupełnień, oraz kilku funktorów służących do "domykania" fragmentów w całości. Do tego wszystkiego postaram sie pokazać motywacje i podać przykłady.

---