Iteration 2-theories

Bloom, S. L.; Esik, Z.; Labella, Anna; Manes, E. G.

doi:10.1023/a:1008708924144

The axioms of iteration 2-theories capture, up to isomorphism, the equational properties of iteration in conjunction with horizontal and vertical composition in all algebraically complete categories. We give a concrete representation of the free iteration 2-theory generated by a 2-signature.

Iteration 2-theories / S. L., Bloom; Z., Esik; Labella, Anna; E. G., Manes. - In: APPLIED CATEGORICAL STRUCTURES. - ISSN 0927-2852. - STAMPA. - 9:2(2001), pp. 173-216.

Scheda prodotto non validato

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Titolo:	Iteration 2-theories
Autori:	S. L. Bloom Z. Esik LABELLA, Anna E. G. Manes mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2001
Rivista:	APPLIED CATEGORICAL STRUCTURES
Citazione:	Iteration 2-theories / S. L., Bloom; Z., Esik; Labella, Anna; E. G., Manes. - In: APPLIED CATEGORICAL STRUCTURES. - ISSN 0927-2852. - STAMPA. - 9:2(2001), pp. 173-216.
Handle:	http://hdl.handle.net/11573/40382
Appartiene alla tipologia:	01a Articolo in rivista

File allegati a questo prodotto

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11573/40382

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

CINECA IRIS Institutional Research Information System

Scheda prodotto non validato

File allegati a questo prodotto