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 …
"Since its introduction by Friedhelm Waldhausen in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared un…
"Until recently, cognitive science has focused on such mental functions as problem solving, grammar, and pattern recognition - the functions, in other words, in which the human mind most resembles a computer. But human beings are more than computers: We invent new meanings, make…
"Until recently, cognitive science has focused on such mental functions as problem solving, grammar, and pattern recognition - the functions, in other words, in which the human mind most resembles a computer. But human beings are more than computers: We invent new meanings, make…
This paper offers a systematic approach to all mathematical theories with local/global behavior. To build objects with local and global aspects, on begins with a category of [script]C of allowed local structures, and somehow derives a category [script]C[superscript]gl of things …
It is the goal of the memoir to develop a functorial transfer of properties between [italic capital]A and [script capital]M[subscript italic capital]E, the category of modules over [italic capital]E, that is more sensitive than the traditional starting point, Hom([italic capital…
S-modules in the category of schemes
by Hu, Po
fromMemoirs of the American Mathematical Society