"165" Result
Sort By:
We give a general method of forcing over categories as a category-theoretic universal construction which subsumes, on one hand, all known instances of forcing in set theory, Boolean and Heyting valued models and sheaf interpretations for both classical and intuitionistic formal …
Mental models
by Gentner, Dedre, Stevens, Albert L.
fromCognitive science (Lawrence Erlbaum Associates)
0
Type: Book
