, Volume 9, Issue 2, pp 173-216

Iteration 2-theories

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.