A note on guarded theories (Q1813969)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on guarded theories |
scientific article |
Statements
A note on guarded theories (English)
0 references
25 June 1992
0 references
Let \(T\) be an algebraic theory in the sense of Lawvere (i.e., the objects of \(T\) are non-negative integers and the object \(n\) is a coproduct of \(n\) copies of 1). A guard family in \(T\) is a collection of morphisms \(1\to 2\) containing the canonical injections and satisfying some additional conditions. The author divides algebraic theories into three classes according to the properties of their maximal guarded families and shows by instructive examples that each class is non-empty.
0 references
guarded theory
0 references
iteration theory
0 references
algebraic theory
0 references
guard family
0 references