Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 51164
15 votes
Accepted

Example of an additive functor admitting no right derived functor

Let ${\cal C}$ be the category of finite dimensional ${\bf Z}/2$-vector spaces equipped with a ${\bf Z}/2$ action, let ${\cal C'}$ be the category of finite dimensional ${\bf Z}/2$-vector spaces and l …
Yonatan Harpaz's user avatar
10 votes
Accepted

Different definitions of derived functors

The total right derived functor ${\bf R}F(-)$ contains a bit more information than just its individual cohomologies ${\bf R}^iF(-) = H^i({\bf R}F(-))$. This information can indeed be described as a ki …
Yonatan Harpaz's user avatar
6 votes
Accepted

The naive approach to deriving profunctors - What's wrong with it?

The problem with this definition is that the formula $\mathrm{colim}_{X \to Z \in \mathcal{W}} F(Z)$ does not, in general, depend functorially on $X$. For it to depend functorially on $X$ you need a w …
Yonatan Harpaz's user avatar
2 votes

Commutativity between functors on sheaves of abelian groups

1) No. For example, if $A$ is non-empty and $f: X \to \ast$ is the map to the point then $j^*R^qf_*\mathbb{C} \cong H^q(X,\mathbb{C})$ while $R^q(f|_A)_*i^*\mathbb{C} \cong R^q(f|_A)_*\mathbb{C} \cong …
Yonatan Harpaz's user avatar
1 vote

Deriving the functor $ \int_{\Gamma} F(-,-)$

The answer is no in this generality, but I do not know what happens specifically for ${\bf dgCat}$ and ${\bf dgFun}$. For convenience, let me construct a counter-example to the dual of your question, …
Yonatan Harpaz's user avatar