2 citations · 4 across the 4 of their papers we have counts for
8 papers
Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory
David Jaz Myers
Informally, an orbifold is a smooth space whose points may have finitely many internal symmetries. Formally, however, the notion of orbifold has been presented in a number of diffe…
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…
Cartesian Factorization Systems and Grothendieck Fibrations
David Jaz Myers
Every Grothendieck fibration gives rise to a vertical/cartesian orthogonal factorization system on its domain. We define a cartesian factorization system to be an orthogonal factor…
Double Categories of Open Dynamical Systems (Extended Abstract)
David Jaz Myers
A (closed) dynamical system is a notion of how things can be, together with a notion of how they may change given how they are. The idea and mathematics of closed dynamical systems…
Dirichlet Functors are Contravariant Polynomial Functors
David Jaz Myers, David I. Spivak
Polynomial functors are sums of covariant representable functors from the category of sets to itself. They have a robust theory with many applications -- from operads and opetopes…
A Yoneda-Style Embedding for Virtual Equipments
David Jaz Myers
In this paper, we exhibit a "Yoneda"-style embedding of any virtual equipment into the virtual equipment of categories enriched in it. We show that this embedding preserves composi…