|
|
|
A peep at knowledge science in a categorical prospect |
Ruqian LU( ) |
| MADIS Key Lab, Research Center of Network Science, Academy of Mathematics and Systems Scince, Chinese Academy of Sciences, Beijing 100190, China |
|
|
|
|
|
|
Corresponding Author(s):
Ruqian LU
|
|
Just Accepted Date: 05 April 2016
Online First Date: 11 May 2016
Issue Date: 07 September 2016
|
|
| 1 |
Corry L. Nicolas Bourbaki and the concept of mathematical structure. Synthese, 1992, 92(3): 315–348
https://doi.org/10.1007/BF00414286
|
| 2 |
Mac Lane S. Categories for the working mathematician. Springer Science & Business Media, 1971
https://doi.org/10.1007/978-1-4612-9839-7
|
| 3 |
Shannon C E. A mathematical theory of communication. ACM SIGMOBILE Mobile Computing and Communications Review, 2001, 5(1): 3–55.
https://doi.org/10.1145/584091.584093
|
| 4 |
Petri C A. Kommunikation mit automaten. Dissertation for the Doctoral Degree. Darmstadt: Technical University, 1962
|
| 5 |
Feigenbaum E A, McCorduck P. The fifth generation, artificial intelligence and Japan’s computer challenge to the world. Boston: Addison- Wesley Pub. Co., 1983
|
| 6 |
Lu R. Looking for amathematical theory of knowledge. Proc. of KEST, 2004: 3–8
|
| 7 |
Lu R. Towards a mathematical theory of knowledge — Categorical analysis of knowledge. Journal of Computer Science and Technology, 2005, 20(6): 751–757
https://doi.org/10.1007/s11390-005-0751-4
|
| 8 |
Crane L. Clock and category: is quantum gravity algebraic? Journal of Mathematical Physics, 1995, 36(11): 6180–6193
https://doi.org/10.1063/1.531240
|
| 9 |
Baez J C, Dolan J. Categorification. 1998, arXiv preprint math/9802029
|
| 10 |
Barr M, Wells C. Category Theory for Computer Science. 2nd ed. Englewood Cliffs, NJ: Prentice Hall, 1998
|
| 11 |
Moggi E. Notions of computation and monads. Information and computation, 1991, 93(1): 55–92
https://doi.org/10.1016/0890-5401(91)90052-4
|
| 12 |
Wang Q, Rong L. Typed category-theory based micro-view emergency knowledge representation. 2007, 568–574
|
| 13 |
Cockett J R B, Hofstra P J W. Introduction to Turing categories, Annals of Pure and Applied Logic, 2008, 156(2): 183–209
https://doi.org/10.1016/j.apal.2008.04.005
|
| 14 |
Soare R I. Recursively enumerable sets and degrees. Bulletin of the American Mathematical Society, 1978, 84(6): 1149–1181
https://doi.org/10.1090/S0002-9904-1978-14552-2
|
| 15 |
Kleene S C, Post E L. The upper semi-lattice of degrees of recursive unsolvability. Annals of Mathematics, 1954, 59(3): 379–407
https://doi.org/10.2307/1969708
|
| 16 |
Li M, Vitányi P. An introduction to Kolmogorov complexity and its applications. Heidelberg: Springer, 1997
https://doi.org/10.1007/978-1-4757-2606-0
|
| 17 |
Leinster T. Higher operads, higher catagories. Cambridge: Cambridge University Press, 2004
https://doi.org/10.1017/CBO9780511525896
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
| |
Shared |
|
|
|
|
| |
Discussed |
|
|
|
|
