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 | |
Results tagged with abelian-category
Search options not deleted
user 1252
The notion of abelian category is an abstraction of basic properties of the category Ab of abelian groups, more generally of the category RMod of modules over some ring, and still more generally of categories of sheaves of abelian groups and of modules. It is such that much of the homological algebra of chain complexes can be developed inside every abelian category. (from nLab)
5
votes
Examples of formalisation of abelian categories
The UniMath library has a formalization on abelian categories and homological algebra (done by Tommi Pannila). See:
Abelian categories
Short exact sequences
Five lemma
The documentation can be found …
- 51