Aspects of categorical algebra in initialstructure categories
Manfred Bernd Wischnewsky (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Manfred Bernd Wischnewsky (1974)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Kučera, L., Pultr, A.
Similarity:
Riehl, Emily (2011)
The New York Journal of Mathematics [electronic only]
Similarity:
Federico De Marchi, Neil Ghani, Christoph Lüth (2003)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Algebraic systems of equations define functions using recursion where parameter passing is permitted. This generalizes the notion of a rational system of equations where parameter passing is prohibited. It has been known for some time that algebraic systems in Greibach Normal Form have unique solutions. This paper presents a categorical approach to algebraic systems of equations which generalizes the traditional approach in two ways i) we define algebraic equations for locally finitely...
Hans-Eberhard Porst (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: