[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Pete J Freyd & Andre Scedrov
- Categories& Allegories
- Elsevier Amsterdam Netherlands ISBN0-444-70368-3 QA169.F73
- allegories are abstracted from binary relations like categories abstracted from functions
- notation for diagrams: noncommuting (+) + pullbacks + equalizers + products
- quantification based on making visible the comments(quantiviers and logical connectives) made while drawing the diagram on a blackboard
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]