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 4790

Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.

25 votes

Categories First Or Categories Last In Basic Algebra?

Categorical ideas should be certainly introduced early, as they are quite useful. On the other hand, as Andreas and Terry say, studying category theory at the beginning of your mathematical education …
16 votes

Duals of Abelian Categories

The dual of the category of abelian group is the category of compact topological abelian groups, by Pontryagin duality.
Angelo's user avatar
  • 27k
15 votes

What is the center of Qcoh(X)?

In the case of a quasi-separated scheme, the center of the category of quasi-coherent sheaves is $\mathcal O(X)$. Suppose that $f$ is in the center. Let $a \in \mathcal O(X)$ be the scalar that descri …
Angelo's user avatar
  • 27k
14 votes
Accepted

The composition of derived functors - commutation fails hazardly?

This is far from being a technical issue, there are many examples when it fails. Suppose that A is the category of $\mathbb F_p$-vector spaces, $B = C$ the category of abelian groups, $F$ the embeddin …
Angelo's user avatar
  • 27k
12 votes

Rigid monoidal abelian category without an exact tensor functor to Vect

Rigid symmetric monoidal abelian categories over a field $k$ with a fiber functor (i.e., a strong monoidal exact functor) to $K$-vector spaces for some extension $K$ of $k$ (the functor is assumed to …
Angelo's user avatar
  • 27k
11 votes

The single-plus construction is not the left adjoint of the inclusion of separated presheaves?

About your first question: the relation is transitive. If $a$ is equivalent to $b$ using a covering, and $b$ is equivalent to $c$ using another covering, it is easy to see that $a$ is equivalent to $c …
Angelo's user avatar
  • 27k
8 votes

Equivalence versus Isomorphism of Categories

These categories are known as skeletons, or skeletal categories. Unfortunately, given a category $\mathcal C$, one can not define in general the structure of a category on the class of isomorphic clas …
Angelo's user avatar
  • 27k
8 votes
Accepted

Automorphism groups and etale topological stacks

I don't think this is true. Let $X$ be the quotient of the action of $\mathbb Q$ on $\mathbb R$ by translation. This is a sheaf, and its automorphism groups are trivial. Suppose that there exist a loc …
Angelo's user avatar
  • 27k
4 votes
Accepted

Constants sheaves on an open subset

This is not true; for example, take $X = \mathbb R^2$, $U = \mathbb R^2 \smallsetminus \{(0,0)\}$. Then your $\mathbb Z_U$ coincides with $\mathbb Z_X$, and $Hom(\mathbb Z_U, F)$ is $F(X)$, not $F(U)$ …
Angelo's user avatar
  • 27k
4 votes
Accepted

Can Inequivalent Topologies Have Same Sheaves/Cohomology?

I would think so. Two pretopologies are equivalent when they generate the same topology, that is, when the have the same sieves. If $A$ is an object of $C$, a sieve on $A$ is a subfunctor of the fun …
Angelo's user avatar
  • 27k
3 votes

Origin of notion of "split Grothendieck group"?

The split Grothendieck group for vector bundles on a complete variety appears in Nori's PhD thesis on the fundamental group scheme; this was published in the Proceedings of the Indian Academy of Scien …
Angelo's user avatar
  • 27k