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 75
11 votes
Accepted

Category which has no non-trivial adjoint functors

The empty category trivially satisfies this (there are no functors at all from a nonempty category to the empty category), but no other such category exists. Let $A$ be any category with a terminal o …
Eric Wofsey's user avatar
  • 31.2k
44 votes
Accepted

Is every functor a composition of adjoint functors?

The answer is no, because the nerve functor turns an adjoint pair of functors between categories into inverse homotopy equivalences between spaces (this is because of the existence of the unit and cou …
Eric Wofsey's user avatar
  • 31.2k
12 votes

Is every functor inducing a homotopy equivalence a composition of adjoint functors?

The answer is no. Let $C$ be a category such that the unique map from $C$ to the terminal category is a composition of $n$ adjoints. Then $C$ has an object $x_0$ such that every other object of $C$ …
Eric Wofsey's user avatar
  • 31.2k
16 votes
Accepted

Is this space the Stone–Čech compactification?

No, the closure of the image of $f$ in $Y$ is never the Stone-Čech compactification of $X$ unless $X$ is empty. In particular, consider the element $a\in Y$ which is $1$ on every coordinate. Note th …
Eric Wofsey's user avatar
  • 31.2k
4 votes
Accepted

Adjointable Abelian Monoidal Functor

Certainly not in general. For instance, let $F$ be the inclusion of the category of finite-dimensional vector spaces (over some fixed field) into the category of all vector spaces. If you want $\ma …
Eric Wofsey's user avatar
  • 31.2k
8 votes

When does the sheaf direct image functor f_* have a right adjoint?

If $f_\ast$ has a right adjoint, it must preserve colimits and hence be right-exact. Thus a necessary condition is that the higher derived functors vanish. In particular, when everything is affine an …
Eric Wofsey's user avatar
  • 31.2k