Communes via Yoneda, from an Elementary Perspective

• Autorzy: Pratt V.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

commune; yoneda; chu space

• Wydawca: Polskie Towarzystwo Matematyczne
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2010
• Tom: Vol. 103, nr 1-4
• Strony: 203--218
• Opis fizyczny: Bibliogr. 13 poz.

Twórcy

autor

Pratt V.

• Gates 4B, Stanford, CA 94305-9045, USA,

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.