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 ct.category-theory
Search options not deleted
user 488857
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
10
votes
Accepted
Factoring through projective modules is an equivalence relation
This equivalence relation is just a quotient of abelian groups. It will be cleaner to show that the $\mathrm{PHom}_R(M, N)$ is a subgroup of $\mathrm{Hom}_R(M,N).$ Indeed, if $f:M\to P_1 \to N$, $g: …
- 532