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 11081

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 …
Theo Buehler's user avatar
  • 5,743
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 …
Theo Buehler's user avatar
  • 5,743
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 …
Theo Buehler's user avatar
  • 5,743
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 …
Theo Buehler's user avatar
  • 5,743
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 …
Theo Buehler's user avatar
  • 5,743
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 …
Theo Buehler's user avatar
  • 5,743
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. …
Theo Buehler's user avatar
  • 5,743
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 …
Theo Buehler's user avatar
  • 5,743
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 …