Topological theories and closed objects (Q2383009)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Topological theories and closed objects |
scientific article |
Statements
Topological theories and closed objects (English)
0 references
5 October 2007
0 references
The author introduces the concept of a topological theory as a syntactic tool to investigate lax algebras. He demonstrates the usefulness of this approach by applying it to the investigation of function spaces.
0 references
lax algebras
0 references
monads
0 references
quantales
0 references
V-categories
0 references
function spaces
0 references
compactness
0 references
