The following pages link to Toposes without points (Q1212528):
Displaying 5 items.
- Classifying spaces for sheaves of simplicial groupoids (Q687581) (← links)
- Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic'' sets, ``intuitionistic'' fuzzy sets and topologies (Q812590) (← links)
- A model for spacetime: the role of interpretation in some Grothendieck topoi (Q862637) (← links)
- A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities (Q867187) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
