Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 05PQ

Go back to the tag's page.

type time link
changed the statement 2011-08-11 4c15ebf
LaTeX: \Ob

	Introduced a macro

	\def\Ob{\mathop{\rm Ob}\nolimits}

	and replaced any occurence of \text{Ob}( with \Ob(. There are
	still some occurences of \text{Ob} but these are sets, not the
	operator that takes the set of objects of a category.
assigned tag 05PQ 2011-01-24 49f6c94
Tags: added new tags
created statement with label remark-embedding-big in injectives.tex 2011-01-23 abc995a
Embedding abelian categories

	It is easy to embed any abelian category into the category of
	abelian sheaves on a site having enough points. Of course this
	requires you to understand about sheaves, points of sites, etc
	but it seems that this is going to be true for most algebraic
	geometers who learn about etale cohomology at some point. From
	this one can then deduce the Freyd-Mitchell embedding theorem.