A note on algebraic categories
Jiří Rosický (1982)
Archivum Mathematicum
Similarity:
Jiří Rosický (1982)
Archivum Mathematicum
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...
Riehl, Emily (2011)
The New York Journal of Mathematics [electronic only]
Similarity:
J. Adámek, H. Herrlich, J. Rosický (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Z. Semadeni (1966)
Colloquium Mathematicae
Similarity:
César Domínguez, Laureano Lambán, Julio Rubio (2007)
RAIRO - Theoretical Informatics and Applications
Similarity:
The specification of the data structures used in EAT, a software system for symbolic computation in algebraic topology, is based on an operation that defines a link among different specification frameworks like hidden algebras and coalgebras. In this paper, this operation is extended using the notion of institution, giving rise to three institution encodings. These morphisms define a commutative diagram which shows three possible views of the same construction, placing it in an equational...
J. J. Dukarm (1988)
Colloquium Mathematicae
Similarity:
Sichler, J., Trnková, V. (1997)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Antoni Wiweger (1984)
Colloquium Mathematicae
Similarity: