Prefer a chat interface with context about you and your work?
Topos theory and consistent histories: The internal logic of the set of all consistent sets