Elements of categorical reasoning : Products and coproducts and some other (co-)limits
Poigné, Axel
Category Theory and Computer Programming, 1986, p.16-42
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível