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 345
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
4
votes
Accepted
Bi-embeddability vs. isomorphism
I don't know if this counts as a "naturally-occuring" algebraic category but as I scanned through my internal list of categories of modules over a ring, I spotted that the following has (1) and (2).
…
- 3,545
2
votes
How to construct pair of adjoint functors from category A to category A_D(category of diagrams)
There are several pairs of adjoint functors of the kind you desire but it isn't clear to me if any (or all) of them will give you enough projectives in $A^D$.
For example for each $d$ in $D$ $\iota_d …
- 3,545