Wyniki wyszukiwania

Parametry zapytania
  
Autor:Marek Zawadowski

                

Publikacja w czasopiśmie

1. The formal theory of monoidal monads
JOURNAL OF PURE AND APPLIED ALGEBRA Tom 216 r. 2012, str. 1932-1942 (Artykuł)
Marek Zawadowski
2. The category of 3-computads is not cartesian closed
JOURNAL OF PURE AND APPLIED ALGEBRA Tom 212 r. 2008, str. 2543-2546 (Artykuł)
Mihaly Makkai, Marek Zawadowski
3. Duality for Simple omega-categories and Disks
Theory and Applications of Categories Tom 8 r. 2001, str. 114-243 (Artykuł)
M Makkai, Marek Zawadowski

Książka

4. Sheaves, games and model completions (a categorical approach to non-classical propositional logics)
Kluwer Academic Publisher, r. 2002 (Książka)
S Ghilardi (Autor oryginału), Marek Zawadowski (Autor oryginału)

Publikacja w książce

5. Lax monoidal fibrations
w: CRM. Proceedings & Lecture Notes, str. 341-426, Amer. Math. Soc., r. 2011 (Esej lub rozdział w książce)
Marek Zawadowski
6. From bisimulation quantifiers to classifying toposes
w: Advances in Modal Logic, vol. III, F.Wolter, H.Wansing, M.de Rijke, M.Zakharyashev (eds.), str. 193-220, World Scientific Publisher, r. 2002 (Esej lub rozdział w książce)
S Ghilardi, Marek Zawadowski