1 research outputs found
Classifying Categories for Partial Equational Logic
Along the lines of classical categorical type theory for total functions, we establish equivalence results between certain classes of partial equational theories on the one hand and corresponding classes of categories on the other hand, staying close to standard categorical notions