KAL – A piece of Pi Category