Search Results
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 |
11
votes
What is an intuitive view of adjoints? (version 1: category theory)
Suppose that $F\colon C\to D$ is a functor. Then there are many situations in which thinking of finding left and right adjoints to $F$ as solving approximation problems is very good intuition. So thes …
1
vote
What is the "right" definition of the free abelian group on a set?
There are still strictly speaking elements floating around in the following since we are using indexing sets but maybe it is better? Consider for a set $S$ and an abelian group $A$ the isomorphisms
$$ …
81
votes
Accepted
How do I check if a functor has a (left/right) adjoint?
The adjoint functor theorem as stated here and the special adjoint functor theorem (which can also both be found in Mac Lane) are both very handy for showing the existence of adjoint functors.
First …
7
votes
When does the sheaf direct image functor f_* have a right adjoint?
Provided that $X$ is quasi-compact and separated and $f$ is separated then what is true is that $Rf_\ast \colon \operatorname{D}(X) \to \operatorname{D}(Y)$ has a right adjoint $f^!$ where these are t …
3
votes
Is there a free digraph associated to a graph?
At least if one takes labeled graphs (LGrphs) and labeled digraphs the functor you suggest, say D, is right adjoint to the forgetful functor which I'll call U. There is a canonical natural transformat …