Czasopismo
2010
|
Vol. 103, nr 1-4
|
203-218
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
We present the Yoneda Lemma in terms of categories without explicit reference to the notion of functor. From this perspective we then define a commune as a common generalization of Chu spaces and presheaves, and give some applications.
Czasopismo
Rocznik
Tom
Strony
203-218
Opis fizyczny
Bibliogr. 13 poz.
Twórcy
autor
- Gates 4B, Stanford, CA 94305-9045, USA, pratt@cs.stanford.edu
Bibliografia
- [1] M. Barr. *-Autonomous categories, volume 752 of Lecture Notes in Mathematics. Springer-Verlag, 1979.
- [2] M. Barr. The Chu construction. Theory and Applications of Categories, 2(2):17-35, 1996.
- [3] D.C. Dennett. Consciousness Explained. Little, Brown, and Company, 1991.
- [4] P. Gabriel and F. Ulmer. Lokal präsentierbare Kategorien, volume 221 of Lecture Notes in Mathematics. Springer-Verlag, 1971.
- [5] J.R. Isbell. Adequate subcategories. Illinois J. Math., 4:541-552, 1960.
- [6] P.T. Johnstone. Sketches of an Elephant: A Topos Theory Compendium. Oxford Science Publications, 2002.
- [7] G.M. Kelly. Basic Concepts of Enriched Category Theory: London Math. Soc. Lecture Notes. 64. Cambridge University Press, 1982.
- [8] S. Kripke. Identity and necessity. In S.P. Schwartz, editor, Naming, Necessity, and Natural Kinds, pages 66-101. Cornell University Press, Ithaca and London, 1977.
- [9] C.I. Lewis. Mind and the World Order: Outline of a Theory of Knowledge. Scribner's Sons, 1929.
- [10] S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.
- [11] A. Pultr and V. Trnkov´a. Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories. North-Holland, 1980.
- [12] C. Swoyer. Properties. In Stanford Encyclopedia of Philosophy. Stanford University, 2000.
- [13] E. Wright. The case for qualia. MIT Press, Boston, 2008.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS8-0011-0010