Grothendieck quasitoposes
نویسندگان
چکیده
Article history: Received 28 June 2011 Available online 31 January 2012 Communicated by Michel Van den Bergh
منابع مشابه
Quasitoposes, Quasiadhesive Categories and Artin Glueing
Adhesive categories are a class of categories in which pushouts along monos are well-behaved with respect to pullbacks. Recently it has been shown that any topos is adhesive. Many examples of interest to computer scientists are not adhesive, a fact which motivated the introduction of quasiadhesive categories. We show that several of these examples arise via a glueing construction which yields q...
متن کاملBootstrapping Inductive and Coinductive Types in HasCASL
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatypes and process types arise as bootstrapped concepts using HasCASL’s type class mechanism, and we describe constructions of types of finite and infinite trees that establish the conservativity of datatype and process type...
متن کاملThe Grothendieck Ring of Varieties and of the Theory of Algebraically Closed Fields
In each characteristic, there is a canonical homomorphism from the Grothendieck ring of varieties to the Grothendieck ring of sets definable in the theory of algebraically closed fields. We prove that this homomorphism is an isomorphism in characteristic zero. In positive characteristics, we exhibit specific elements in the kernel of the corresponding homomorphism of Grothendieck semi rings. Th...
متن کاملGrothendieck Polynomials via Permutation Patterns and Chains in the Bruhat Order
We give new formulas for Grothendieck polynomials of two types. One type expresses any specialization of a Grothendieck polynomial in at least two sets of variables as a linear combination of products Grothendieck polynomials in each set of variables, with coefficients Schubert structure constants for Grothendieck polynomials. The other type is in terms of chains in the Bruhat order. We compare...
متن کاملFactorial Grothendieck Polynomials
In this paper, we study Grothendieck polynomials from a combinatorial viewpoint. We introduce the factorial Grothendieck polynomials, analogues of the factorial Schur functions and present some of their properties, and use them to produce a generalisation of a Littlewood-Richardson rule for Grothendieck polynomials.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012