9 search results - page 1 / 2 » The associated sheaf functor theorem in algebraic set theory |
APAL
2008
13 years 5 months ago
2008
Abstract. We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of s...
ACS
2004
13 years 4 months ago
2004
In this paper we introduce and study a cohomology theory {Hn(-, A)} for simplicial sets with coefficients in symmetric categorical groups A. We associate to a symmetric categorical...
ACS
2008
13 years 5 months ago
2008
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings ar...
APAL
2007
13 years 5 months ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
ICALP
2007
Springer
13 years 11 months ago
2007
Springer
We present algebraic conditions on constraint languages Γ that ensure the hardness of the constraint satisfaction problem CSP(Γ) for complexity classes L, NL, P, NP and ModpL. Th...