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 |
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
8
votes
Derived functor
If $X$ is a left bounded complex, you may take a quasi-isomorphism $X \to I$ where $I$ is a left bounded complex of injectives. Such a complex exists and can be found explicitly in many books on homol …
2
votes
Accepted
Direct construction of cocontinuous functors on Mod(A)
This is too long for a comment only, therefore I write it into an answer (all categories are assumed to be additive). This will not answer your question but maybe it will provide some insight.
Let me …
3
votes
Accepted
Colimit of locally finitely presented quasi-coherent modules
The answer is yes, at least if you believe Thomason-Trobaugh, Higher algebraic $K$-theory of schemes and of derived categories, which David Ben-Zvi already mentioned.
I quote from Appendix B.3 (p. 40 …
3
votes
Accepted
Projective Banach spaces
You essentially answered your first question yourself: the ground field is a (contractive) retract of any nonzero Banach space by Hahn-Banach. If there were a non-zero projective Banach space in your …
7
votes
Accepted
Is anything known about the "closure" of an additive category by adding all the images and k...
Note: I'm only addressing David's question how one one can "add cokernels" to an additive category and how one can use this in order to embed an additive category into an abelian one, even in a univer …
5
votes
Accepted
On locally convex (and compactly generated) topological vector spaces
Part 1: The "cheeky" answer is: huge. There is a left adjoint to the forgetful functor $LCTVS \to Vect$ (in particular there is a left adjoint to the forgetful functor $LCTVS \to Sets$): Equip a vecto …
27
votes
Accepted
What's an example of a locally presentable category "in nature" that's not $\aleph_0$-locall...
The category of Banach spaces and contractions (over the reals or any other complete normed field, I think) is an example of an $\aleph_{1}$-presentable category which is not $\aleph_{0}$-presentable. …
55
votes
Accepted
Freyd-Mitchell's embedding theorem
$\DeclareMathOperator{\Hom}{Hom}\newcommand{\amod}{\mathscr{A}\text{-}{\bf Mod}}\newcommand{\scrA}{\mathscr{A}}\newcommand{\scrE}{\mathscr{E}}\newcommand{\Ab}{\mathbf{Ab}}\DeclareMathOperator{\Lex}{\m …
4
votes
Constructions unique up to non-unique isomorphism
Here are some examples that are less of an algebraic nature (but all seem to be subsumed by Qiaochu's observation in that they are "weakly initial" or "weakly terminal" objects in appropriate categori …