Form equivalence class Howard-Rubin Number: 159
Statement:
Every variety has an initial algebra.
Howard-Rubin number: 159 A
Citations (articles):
Blass [1983b]
Words, free algebras and coequalizers
Connections (notes):
Note [32]
Notes for forms [159 A] and [159 B] from Blass [1983b]
References (books):
Back