Zobrazeno 1 - 10
of 783
pro vyhledávání: '"A. Zawadowski"'
Autor:
Zawadowski, Marek
We show that the positive zoom complexes, with fairly natural morphisms, form a dual category to the category of positive opetopes with contraction epimorphisms. We also show how this duality can be extended to opetopic cardinals.
Comment: 28 pa
Comment: 28 pa
Externí odkaz:
http://arxiv.org/abs/2101.00050
Autor:
Zawadowski, Marek
We show that the category of positive opetopes with contraction morphisms, i.e. all face maps and some degeneracies, forms a test category. The category of positive opetopic sets pOpeSet can be defined as a full subcategory of the category of polygra
Externí odkaz:
http://arxiv.org/abs/1712.06033
Autor:
Grudzinska, Justyna, Zawadowski, Marek
Classical scope-assignment strategies for multi-quantifier sentences involve quantifier phrase (QP)-movement. More recent continuation-based approaches provide a compelling alternative, for they interpret QP's in situ - without resorting to Logical F
Externí odkaz:
http://arxiv.org/abs/1608.00255
Autor:
Grudzinska, Justyna, Zawadowski, Marek
In this paper, we will discuss three semantically distinct scope assignment strategies: traditional movement strategy, polyadic approach, and continuation-based approach. As a generalized quantifier on a set X is an element of C(X), the value of cont
Externí odkaz:
http://arxiv.org/abs/1605.03981
Autor:
Szawiel, Stanisław, Zawadowski, Marek
We describe an abstract 2-categorical setting to study various notions of polynomial and analytic functors and monads.
Comment: 82 pages; the example of polynomial and analytic endofunctors on presheaf categories extended
Comment: 82 pages; the example of polynomial and analytic endofunctors on presheaf categories extended
Externí odkaz:
http://arxiv.org/abs/1506.04317
Autor:
Grudzińska, Justyna, Zawadowski, Marek
Publikováno v:
Journal of Logic, Language, and Information, 2019 Apr 01. 28(2), 239-260.
Externí odkaz:
https://www.jstor.org/stable/45216795
Autor:
Grudzinska, Justyna, Zawadowski, Marek
We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combining generalized quantifiers with dependent types. Empirically, our syste
Externí odkaz:
http://arxiv.org/abs/1402.0033
Autor:
Sienkiewicz, Łukasz, Zawadowski, Marek
The main objective of the paper is to define the category of monoids as a weighted limit. We also define the category of actions of monoids along the action of a monoidal category as a weighted limit.
Comment: 14 pages
Comment: 14 pages
Externí odkaz:
http://arxiv.org/abs/1306.3215
Autor:
Zawadowski, Marek
We characterize the category of co-semi-analytic functors and describe an action of semi-analytic functors on co-semi-analytic functors.
Comment: 10 pages
Comment: 10 pages
Externí odkaz:
http://arxiv.org/abs/1305.2961
Autor:
Kondor, Péter, Zawadowski, Adam
Publikováno v:
In Journal of Economic Theory November 2019 184