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 |
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 …
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 …
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 …
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 …
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$ …
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 …