Fixpoint operators for 2-categorical structures | IEEE Conference Publication | IEEE Xplore