minimal invariant objects and Karoubi invariance in information categories (1993)

by Self-duality
Venue:Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods. Springer-Verlag Workshops in Computer Science