11 citations · 38 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.CT2021★ 2 cited
Modal Fracture of Higher Groups
David Jaz Myers
In this paper, we examine the modal aspects of higher groups in Shulman's Cohesive Homotopy Type Theory. We show that every higher group sits within a modal fracture hexagon which…
cs.LO2021★ 1 cited
Behavioral Mereology: A Modal Logic for Passing Constraints
Brendan Fong, David Jaz Myers, David I. Spivak
Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by th…