ダウンロード数: 33
このアイテムのファイル:
ファイル | 記述 | サイズ | フォーマット | |
---|---|---|---|---|
2130-08.pdf | 6.37 MB | Adobe PDF | 見る/開く |
タイトル: | Structures and Their Cryptomorphic Manifestations: Searching for Inquiry Tools (Algebraic System, Logic, Language and Related Areas in Computer Science) |
著者: | Schroeder, Marcin J. |
発行日: | Oct-2019 |
出版者: | 京都大学数理解析研究所 |
誌名: | 数理解析研究所講究録 |
巻: | 2130 |
開始ページ: | 42 |
終了ページ: | 51 |
抄録: | The search for the concept of a structure independent from the particular context of its application has a long history going back to the attempt made by Bourbaki more than a half century ago, but there is still no answer to the general question "What is a structure?" It is no wonder that the parallel question about the defrnition of cryptomorphism (understood as much more general concept than Birkhoffs cryptoisomorphism) has not been answered. The answer to one question can open a way to the other, as the group of cryptomorphisms should produce the corresponding structure as its invariant. The present paper considers tools for the inquiry in both directions of a structure and of a cryptomorphism. |
URI: | http://hdl.handle.net/2433/254744 |
出現コレクション: | 2130 代数系、論理、言語と計算機科学の周辺 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。