00305nam a2200097Ia 4500008004100000100002200041245005300063245004100116260000900157856004100166160531s9999    xx            000 0 und d  aAbramsky, Samson.  aIntroduction to Categories and Categorical Logic  cby Samson Abramsky, Nikos Tzevelekos  c2011  uhttp://arxiv.org/pdf/1102.1313v1.pdf