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 2757
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
55
votes
Accepted
How can I define the product of two ideals categorically?
Nice question! The answer is that it's not possible! Let $R=\mathbb{F}_3[x,y]/(x^2,y^2)$. The lattice of ideals consists of the eight ideals
$(1)$
$(x,y)$
$(x)$ $(y)$ $(x+y)$ $(x-y)$
$(xy)$
$( …
- 23.8k
23
votes
Is the theory of categories decidable?
This answer builds on those of F. G. Dorais and Joel David Hamkins to answer your "specific question", the question left open by them, namely whether the theory of abelian categories is decidable.
Th …
- 23.8k