閉圏や反射的対象の論文
随分古いのがある。プロジェクト・ユークリッドは助かるなー、感謝。
- COLIMITS IN TOPOI 1973 -- http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?handle=euclid.bams/1183535542&view=body&content-type=pdf_1
- Cartesian closed categories, quasitopoi and topological universes 1986 -- http://dml.cz/bitstream/handle/10338.dmlcz/106447/CommentatMathUnivCarol_027-1986-2_4.pdf タイプ打ち原稿に手書きの絵、古典の香り(?)
- バエズのラムダ計算テキスト これは新しい http://math.ucr.edu/home/baez/qg-winter2007/lambda_calculi.pdf
- Liniear logic, domain theory and semi-functors 1990 -- http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-34.pdf
- EXPONENTIABILITY IN CATEGORIES OF LAX ALGEBRAS 2003(新しめ)http://www.tac.mta.ca/tac/volumes/11/15/11-15.ps