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 8590
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
8
votes
0
answers
142
views
What are filtered colimits in the category of complete semilattices?
My question is basically stated in the title. Does somebody know an explicit description of the filtered colimits in the category of complete semilattices?
I am happy to provide background explaining …
- 1,498
6
votes
Lawvere theories versus classical universal algebra
The following point is of course related to the fact that you can use models different from Set, but I think it deserves to be discussed explicitly.
Every clone (in the unverisal algebra sense) can b …
- 1,498
5
votes
2
answers
694
views
Finiteness and cardinality in abstract categories
My question is a very simple one.
What ways are there to generalize terms such as cardinality (or, more generally, the concept of finiteness) to abstract (and not concretizable) categories?
I have s …
- 1,498
4
votes
Presenting Lawvere theories?
Maybe the following explanation might help a bit:
I think you should not compare Lawvere theories with clones from universal algebra, as the two things are not on the same level of generality even wi …
- 1,498