|
|
|
18Cxx - Categories and theories
| 18C10 |
- |
Theories (e.g. algebraic theories), structure, and semantics |
- |
6 |
items |
| 18C15 |
- |
Triples (= standard construction, monad or triad), algebras for a triple, homology and derived functors for triples |
- |
2 |
items |
| 18C50 |
- |
Categorical semantics of formal languages |
- |
1 |
item |
| 18C99 |
- |
Miscellaneous |
- |
10 |
items |
|
|
[
up
|
top
]
|
|
|
|
|
