David Jaz Myers

Available identifiers

zbMath Open myers.david-jazMaRDI QIDQ5019671

List of research outcomes

Publication	Date of Publication	Type
Modal fracture of higher groups	2024-10-08	Paper
Topological quantum gates in homotopy type theory	2024-08-06	Paper
Commuting Cohesions	2023-01-31	Paper
Good Fibrations through the Modal Prism	2022-08-04	Paper
Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory	2022-05-31	Paper
Double Categories of Open Dynamical Systems (Extended Abstract)	2022-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5019683	2022-01-10	Paper
Modal Fracture of Higher Groups	2021-06-29	Paper
Cartesian Factorization Systems and Grothendieck Fibrations	2020-06-24	Paper
Dirichlet Functors are Contravariant Polynomial Functors	2020-04-08	Paper
Dirichlet Polynomials form a Topos	2020-03-10	Paper
A Yoneda-Style Embedding for Virtual Equipments	2020-03-02	Paper
Behavioral Mereology (Proofs and Properties)	2018-11-01	Paper
String Diagrams For Double Categories and Equipments	2016-12-08	Paper

Research outcomes over time

This page was built for person: David Jaz Myers