21 citations · 44 across the 19 of their papers we have counts for
21 papers
Duality for positive opetopes and positive zoom complexes
Marek Zawadowski
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 t…
Positive Opetopes with Contractions form a Test Category
Marek Zawadowski
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 p…
Continuation semantics for multi-quantifier sentences: operation-based approaches
Justyna Grudzinska, Marek Zawadowski
Classical scope-assignment strategies for multi-quantifier sentences involve quantifier phrase (QP)-movement. More recent continuation-based approaches provide a compelling alterna…
Scope ambiguities, monads and strengths
Justyna Grudzinska, Marek Zawadowski
In this paper, we will discuss three semantically distinct scope assignment strategies: traditional movement strategy, polyadic approach, and continuation-based approach. As a gene…
Polynomial and Analytic Functors and Monads, revisited
Stanisław Szawiel, Marek Zawadowski
We describe an abstract 2-categorical setting to study various notions of polynomial and analytic functors and monads.
Generalized Quantifiers on Dependent Types: A System for Anaphora
Justyna Grudzinska, Marek Zawadowski
We propose a system for the interpretation of anaphoric relationships between unbound pronouns and quantifiers. The main technical contribution of our proposal consists in combinin…