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 142444
9 votes
1 answer
350 views

Freyd-Mitchell for $k$-linear categories

I don't know much about the proof of the Freyd–Mitchell embedding theorem and I could not find an answer to my question looking naïvely online, but at the same time I feel like this is the kind of que …
57Jimmy's user avatar
  • 533
6 votes
0 answers
220 views

Relation between extensions and filtrations

We work in an Abelian category. Consider Yoneda extensions, i.e., the Abelian groups Ext$^n(C,A)$ consisting (for $n \ge 1$) of equivalence classes of exact sequences starting at $A$ and ending at $C$ …
57Jimmy's user avatar
  • 533
3 votes
0 answers
208 views

Baer sum and endomorphisms

I work in an Abelian category. If I take the Baer sum $M' + M''$ of two extensions $M'$ and $M''$ of $ M_2$ by $M_1$, i.e., $$ 0 \to M_1 \to M' \to M_2 \to 0$$ is exact, and the same for $M''$, then w …
57Jimmy's user avatar
  • 533