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 algebra
Search options answers only
not deleted
user 705
7
votes
Computability of infinite-dimensional vector space
Short answer
The general answer is that computability is easy for locally compact spaces, doable for separable spaces, and hard for non-separable spaces.
The short anwer for a particular example, na …
- 29.5k
9
votes
Formal representation of an abstraction hierarchy
You are working on your PhD. Saying "I am not well versed in $X$" is not an excuse. And if you're good, then saying "my advisor does not know $X$" is not an excuse either.
You are using monoids where …
- 29.5k
5
votes
What is necessary and/or sufficient requirement for a subring of a field to be computable?
$\Sigma$-algebra. … Because $\nabla$ preserves products, it maps $\mathcal{A}$ to a $\Sigma$-algebra $\nabla \mathcal{A}$ in $\mathsf{Asm}$. …
- 29.5k
7
votes
Does an initial algebra for a class have to belong to the class itself?
Yes, the initial algebra is by definition one of the members of the class for which it is initial.
You may however be interested in the category-theoretic concept of a limit. … The limit is like an initial algebra. …
- 29.5k