Hornung, Tamás (1981) Adatok és típusok vizsgálata kategóriaelméleti eszközökkel. Masters, József Attila Tudományegyetem.