http://en.wikipedia.org/wiki/Categorical_logic has more refs. That's a sufficiently obvious place to look that maybe someone can move this "answer" to a comment.
|
1 | [made Community Wiki] | ||
|
|
||||
