نتایج جستجو برای: seprated presheaf

تعداد نتایج: 247  

2012
JONATHAN WANG

Let X be a smooth projective curve over C (you can think of X as a Riemann surface in the analytic setting if you wish) throughout. Then there exists a smooth variety PicX over C whose C-points are the isomorphism classes of line bundles on X. More generally, for any scheme (variety) S over C, the set HomC(S,PicX) corresponds to a sheafification of the line bundles on the family of curves X ×S ...

Journal: :Mathematical Structures in Computer Science 2002
James Worrell

We show that the category of coalgebras of a wide-pullback preserving endofunctor on a category of presheaves is itself a category of presheaves. This illustrates a connection between Jacobs’ temporal logic of coalgebras and Ghilardi and Meloni’s presheaf semantics for modal logic.

2002
M A Batanin

For a given ω-operad A on globular sets we introduce a sequence of symmetric operads on Set called slices of A and show how the connected limit preserving properties of slices are related to the property of the category of n-computads of A being a presheaf topos.

2013
Octavio Malherbe Philip Scott Peter Selinger

This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron’s quantum lambda calculus, which was previously an open problem. We do this by considering presheaves over appropriate base categories arising from first-order quantum computation. The main technical ingredients are Day’s convolut...

2001
J. F. Jardine

The purpose of this paper is to develop analogs of the E2 model structures of Dwyer, Kan and Stover for categories related to pointed bisimplicial presheaves and simplicial presheaves of spectra. The development is by analogy with and builds on the work of Dwyer, Kan and Stover [1], [2], along with later work of Goerss and Hopkins [3]. The technical challenge met in the present paper is that no...

2004
NICOLA GAMBINO

We introduce a new kind of models for constructive set theories based on categories of presheaves. These models are a counterpart of the presheaf models for intuitionistic set theories defined by Dana Scott in the ’80s. We also show how presheaf models fit into the framework of Algebraic Set Theory and sketch an application to an independence result. 1. Variable sets in foundations and practice...

2000
Mat́ıas Menni

Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the different ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and many of the latter arise by adding “good” quotients of equivalence relations to a simple catego...

2008
SHARON HOLLANDER

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of sheaves and quasi-coherent sheaves. As a corollary we obtain an alternate proof of a generalized change of rings theorem of Hovey.

2011
LIVIU I. NICOLAESCU

A fast introduction to the the construction of the cohomology of sheaves pioneered by A. Grothendieck and J.L. Verdier. The approach is from the point of view of derived categories, though this concept is never mentioned. 1. Sheaves Let R commutative ring with 1. We denote by RMod the category of R-modules. For any topological space X we denote by OpenpXq the collection of open subsets. It can ...

1997
Sebastiano Vigna

In this paper we survey the fundamental constructions of a presheaf topos in the case of the elementary topos of graphs. We prove that the transition graphs of nondeterministic automata (a.k.a. labelled transition systems) are the separated presheaves for the double negation topology, and obtain as an application that their category is a quasitopos.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید