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 4262
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).
2
votes
Is there a notion of congruence relation for essentially algebraic structures?
There is an internal definition of congruence (q.v.) that works for any category. The categories of (Set-)models of finite limit sketches are exactly the locally finitely presentable categories, whic …
- 3,622
4
votes
Computing colimits in a Lawvere theory
Prod(L, Set) is equivalent to the category of algebras for a finitary monad on Set and so is complete and cocomplete by e.g. Borceux Vol. 2 prop. 4.3.6.
- 3,622
8
votes
Accepted
Monad arising from operad
The answer is no, and it is explained in Appendix C of Leinster's book Higher Operads, Higher Categories.
Briefly, a 'plain operad', for Leinster, is a non-symmetric operad in Set; a T-operad for T t …
- 3,622
7
votes
Relation between monads, operads and algebraic theories
Apart from Todd's recommendations, which I'd second, for monads and Lawvere theories there is Nishizawa and Power, Lawvere theories enriched over a general base, JPAA 213, 2009, and the references the …
- 3,622