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.
7
votes
Accepted
locally finitely presentable tensor categories
One can take the category of modules over a Laurent polynomial ring in one variable $\textrm{Mod}\;k[t,t^{-1}]$ and think of $k[t,t^{-1}]$ as the group algebra of $\mathbb{Z}$. The corresponding cocom …
10
votes
Abelian category which is not well-powered
In Appendix C (Corollary C.3.3 to be precise) of Neeman's book "Triangulated Categories" an example of an abelian category which is not well-powered is given.
The actual counterexample is given by $A …
6
votes
Accepted
Coreflective Subcategories of the Stable Homotopy Category
I'm not sure if I constitute an expert or this constitutes a real answer but let me try.
If I understand correctly your first question is whether it is open that every localizing subcategory of an al …
3
votes
Applications of classifying thick subcategories
I'm not completely sure if this is the sort of thing you are after, but the telescope conjecture (conjecture isn't a great word as it is known to be false for some categories) springs to mind as somet …
25
votes
Accepted
What is the opposite category of the category of modules (or Hopf algebra representations)?
One can prove that for any non-zero ring $R$ the category $R$-Mod$^{op}$ is not a category of modules. Indeed any category of modules is Grothendieck abelian i.e., has exact filtered colimits and a ge …
8
votes
Accepted
Is the tensorproduct of a triangulated category with a ring again triangulated?
I would imagine it is false in general that given a triangulated category $T$ the category $T\otimes R$ is also triangulated.
The following is a concrete counterexample. Consider $D^b(\mathbb{Z})$ an …
9
votes
Accepted
Verdier duality via Brown representability?
The category of sheaves of $\mathbb{Q}$ vector spaces on $M$ is a Grothendieck abelian category. It follows that the derived category of such, $D(M)$ in your notation, is a well generated triangulated …
17
votes
Accepted
What is the relationship between t-structure and Torsion pair?
The two notions are related in the sense that they share a common generalization, namely the notion of torsion pair on a pre-triangulated category (this term has at least two meanings, here we mean a …
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 …
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
$$ …
3
votes
Derived category with total cohomology finite dimensional: is there a better name for it?
I'm not sure if this category has a particular name - usually until someone cares enough to give one of these a name or nice notation they just have long unwieldy names. I can suggest some notation th …
7
votes
Set theory for category theory beginners
Dan Murfet has some notes on foundations for category theory which can be found here. They contain an introduction to Grothendieck universes as well as some references for learning about NBG class th …
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 …
7
votes
Accepted
Splitting lemma under assumption of the axiom of choice
I assume you are working in some fixed abelian category $\mathcal{A}$.
It is not true in general that every short exact sequence in $\mathcal{A}$ will split. The problem is that although you can pick …
12
votes
Categories which are not compactly generated
One example is the following - suppose that $M$ is a non-compact connected manifold of dimension $\geq 1$. Then the unbounded derived category of chain complexes of sheaves of abelian groups on $M$ ha …