Sciweavers

68
Voted
JSYML
2007
79views more  JSYML 2007»
14 years 8 months ago
Models of non-well-founded sets via an indexed final coalgebra theorem
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of ...
Federico De Marchi, Benno van den Berg
APAL
2008
95views more  APAL 2008»
14 years 9 months ago
The associated sheaf functor theorem in algebraic set theory
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...
Nicola Gambino