scientific article; zbMATH DE number 7454909

MaRDI QIDQ5019683

David Jaz Myers, Brendan Fong, David I. Spivak

Publication date: 10 January 2022

Full work available at URL: https://arxiv.org/abs/2101.10490

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30)

Cites Work

• Unnamed Item
• Open dynamical systems and their control
• Sheaves in geometry and logic: a first introduction to topos theory
• Temporal type theory. A topos-theoretic approach to systems and behavior
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• The Behavioral Approach to Open and Interconnected Systems

This page was built for publication: