Categories in PiFE