Posts tagged "isomorphism" Anafunctors - June 16, 2014 AC and equivalence of categories - June 5, 2014 Unique isomorphism and generalized "the" - May 13, 2014 Counting linear lambda terms: choice and correspondence - February 9, 2011
