8 citations · 18 across the 5 of their papers we have counts for
5 papers
A calculus of types in Isbell nuclei
Juan Luis Gastaldi, Samantha Jarvis, Thomas Seiller +1
We identify two constructions from different mathematical traditions. In linear logic and realisability, logical types are generated rather than fixed in advance: one begins with a…
Projective metric geometry of tropical nuclei: gap matrices, event loci, and order chambers
Juan Luis Gastaldi, Samantha Jarvis, Thomas Seiller +1
The tropical row span and column span of a real matrix are, from the polyhedral point of view, different objects living in different ambient spaces. These polytopes are known to be…
Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies
James Paul Mason, Alexandra Werth, Colin G. West +999
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively he…
Monoidal Structures on Generalized Polynomial Categories
Joseph Dorta, Samantha Jarvis, Nelson Niu
Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fal…
Spectral properties of graphs associated to the Basilica group
Antoni Brzoska, Courtney George, Samantha Jarvis +2
We provide the foundation of the spectral analysis of the Laplacian on the orbital Schreier graphs of the Basilica group, the iterated monodromy group of the quadratic polynomial $…