Sygnatury algebraiczne z porządkiem na symbolach

Speaker(s)

Grzegorz Marczyński

Affiliation

Uniwersytet Warszawski

Date

Nov. 16, 2009, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---