2 papers
math.CT2024
What kind of linearly distributive category do polynomial functors form?
David I. Spivak, Priyaa Varshinee Srinivasan
This paper has two purposes. The first is to extend the theory of linearly distributive categories by considering the structures that emerge in a special case: the normal duoidal c…
math.CT2023
Dagger linear logic and categorical quantum mechanics
Priyaa Varshinee Srinivasan
This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM).…