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 310
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 …
Greg Stevenson's user avatar
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 …
Greg Stevenson's user avatar
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 …
Greg Stevenson's user avatar
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 …
Greg Stevenson's user avatar
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 $$ …
Greg Stevenson's user avatar