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 10605
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).
9
votes
2
answers
1k
views
Ternary associative multiplication
In this answer Brian M. Scott describes the following generalization of a binary associative multiplication to a ternary one: it is a function $$[\cdot,\cdot,\cdot] : G\times G \times G \to G$$ such t …
- 4,780
4
votes
The groupoid of algebraic expressions and proofs
I don't have any direct reference for the notion that you are describing, however the notions of $E_n$-algebras and (topological) operads are very close. Firstly, you should note that you need equalit …
- 4,780