#### Filter Results:

- Full text PDF available (43)

#### Publication Year

2005

2017

- This year (1)
- Last 5 years (3)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Daniel Murfet
- 2006

In this note we give a careful exposition of the basic properties of derived categories of quasi-coherent sheaves on a scheme. This includes Neeman's version of Grothendieck duality [Nee96] and the proof that every complex with quasi-coherent cohomology is isomorphic to a complex of quasi-coherent sheaves in the derived category.

- Daniel Murfet
- ArXiv
- 2014

We give an introduction to computation and logic tailored for algebraists, and use this as a springboard to discuss geometric models of computation and the role of cut-elimination in these models, following Girard's geometry of interaction program. We discuss how to represent programs in the λ-calculus and proofs in linear logic as linear maps between… (More)

- DANIEL MURFET
- 2009

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived category of flat sheaves we extend several results about totally acyclic complexes of projective modules to schemes; for… (More)

- Daniel Murfet
- 2006

Abelian categories are the most general category in which one can develop homological algebra. The idea and the name " abelian category " were first introduced by MacLane [Mac50], but the modern axiomitisation and first substantial applications were given by Grothendieck in his famous Tohoku paper [Gro57]. This paper was motivated by the needs of algebraic… (More)

- Daniel Murfet
- 2009

We study cocoverings of triangulated categories, in the sense of Rouquier, and prove that for any regular cardinal α the condition of α-compactness, in the sense of Neeman, is local with respect to such cocoverings. This was established for ordinary compactness by Rouquier. Our result yields a new technique for proving that a given triangulated category is… (More)

- Daniel Murfet
- 2006

- Daniel Murfet
- 2006

- Daniel Murfet
- 2006

- GUODONG ZHOU, Bernhard Keller, +4 authors Jun-Ichi Miyachi
- 2013

Stable equivalences of Morita type preserve many interesting properties and is proved to be the appropriate concept to study for equivalences between stable categories. Recently the singularity category attained much attraction and Xiao-Wu Chen and Long-Gang Sun gave an appropriate definition of singular equivalence of Morita type. We shall show that under… (More)

- Daniel Murfet
- 2006

These notes closely follow Matsumura's book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more detail. Our focus is on the results needed in algebraic geometry, so some topics in the book do not occur here or are not treated in their full depth. In particular material the reader can find in the more elementary… (More)