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 universal-algebra
Search options not deleted
user 76299
The study of algebraic structures and properties applying to large classes of such structures. For example, ideas from group theory and ring theory are extended and considered for structures with other signatures (systems of basic or fundamental operations).
3
votes
Does every Lawvere theory arise in this way?
I can elaborate on the second example a bit more:
Let $T$ be a Lawvere theory. Then $T$ is commutative iff $T \cong Lawv(\text{hom}_T(x,-))$, where $x$ is the generic object in $T$.
A Lawvere theory …
- 2,303
9
votes
0
answers
355
views
"Generalized theory of polynomials" for a given commutative Lawvere Theory
I am trying to understand
Nikolai Durov's "New Approach to Arakelov Geometry" right now and it got me thinking about a particular thing.
Let $R$ be a commutative, associative ring with unit. We can …
- 2,303