新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

adrian_pigors category_theory [30 articles]

最近 adrian_pigors さんのライブラリに追加された論文の中から タグ category_theory. You can also see everyone's category_theory.
  • Short introduction to enriched categories
    Vol. 111 (2000), pp. 167-194.
    by Francis Borceux, Isar Stubbe
    posted to category_theory _copy enriched_category _file by adrian_pigors on 2008-04-15 14:24:29 as ****
  • Categories, structures, and the Frege-Hilbert controversy: the status of meta-mathematics
    Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 61-77.
    by Stewart Shapiro
    posted to category_theory _copy _file foundation by adrian_pigors on 2008-02-05 15:53:59 as **
  • Learning from questions on categorical foundations
    Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 44-60.
    by Colin Mclarty
    posted to category_theory _copy _file foundation by adrian_pigors on 2008-02-05 15:50:17 as **
  • Categories in context: historical, foundational, and philosophical
    Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 1-43.
    by Elaine Landry, Jean P Marquis
    posted to category_theory _copy _file foundation by adrian_pigors on 2008-02-05 15:46:00 as ** along with 1 person jrw
  • The non-Boolean logic of natural language negation
    Philos. Math. (3), Vol. 2, No. 1. (1994), pp. 45-68.
    by Marie, John Macnamara, Gonzalo E Reyes, Houman Zolfaghari
    posted to category_theory _copy _file negation by adrian_pigors on 2008-02-05 14:45:56 as **
  • A categorical manifesto
    Math. Structures Comput. Sci., Vol. 1, No. 1. (1991), pp. 49-67.
    by Joseph A Goguen
    posted to category_theory _copy _file by adrian_pigors on 2008-02-05 14:22:40 as **
  • Sets, topoi, and internal logic in categories
    (1975), pp. 119-134. Studies in Logic and the Foundations of Mathematics, Vol. 80.
    by Saunders Maclane
    posted to categorical_logic category_theory _copy topos by adrian_pigors on 2008-02-05 14:00:14 as **
  • Category theory for linear logicians
    Vol. 316 (2004), pp. 3-64.
    by Richard Blute, Philip Scott
    posted to category_theory _copy _file linear_logic by adrian_pigors on 2008-02-04 14:52:47 as **
  • Categories: a free tour
    (2001), pp. 1-27.
    by Lutz Schröder
    posted to category_theory _copy by adrian_pigors on 2008-02-04 14:49:42 as **
  • What Is a Concept?
    Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
    by Joseph Goguen
    posted to category_theory _copy fca _file institution by adrian_pigors on 2008-02-01 12:44:07 as ** along with 7 people and 2 groups garyfeng maike scis0000001 livingthingdan mzygmunt RafG Scis0000002 ReadingLab livingthing
  • Many familiar categories can be interpreted as categories of generalized metric spaces
    Appl. Categ. Structures, Vol. 10, No. 5. (2002), pp. 505-520.
    by Jobst Heitzig
    posted to category_theory _copy distance _file by adrian_pigors on 2007-10-11 09:43:45 as **
  • Tensor products and bimorphisms
    Canad. Math. Bull., Vol. 19, No. 4. (1976), pp. 385-402.
    by Bernhard Banaschewski, Evelyn Nelson
    posted to category_theory _copy tensor_product _vme by adrian_pigors on 2007-10-11 09:25:42 as ***
  • The ABC of order and topology
    Vol. 18 (1991), pp. 57-83.
    by M Erné
    posted to category_theory _copy order_theory topology by adrian_pigors on 2007-10-09 17:03:15 as **
  • Self-reference and fixed points: A discussion and an extension of Lawvere's Theorem
    Acta Applicandae Mathematicae: An International Survey Journal on Applying Mathematics and Mathematical Applications, Vol. 2, No. 1. (1 March 1984), pp. 1-19.
    by Jorge Soto-Andrade, Francisco J Varela
    posted to category_theory _copy diagonalization _file goedel logic self-reference by adrian_pigors on 2007-10-09 11:11:15 as ** along with 2 people msakai scis0000001
  • Foundations and applications: axiomatization and education
    Bull. Symbolic Logic, Vol. 9, No. 2. (2003), pp. 213-224.
    by William F Lawvere
    posted to category_theory _copy _file foundation set_theory by adrian_pigors on 2007-10-09 11:02:58 as **
  • Basic concepts of enriched category theory
    Repr. Theory Appl. Categ., No. 10. (2005)
    by GM Kelly
    posted to category_theory enriched_category _file by adrian_pigors on 2007-10-09 10:56:51 as **
  • Continuously variable sets; algebraic geometry=geometric logic
    (1975), pp. 135-156. Studies in Logic and the Foundations of Math., Vol. 80.
    by William F Lawvere
    posted to category_theory _copy logic topos by adrian_pigors on 2007-10-09 10:48:38 as **
  • The category of categories as a foundation for mathematics
    (1966), pp. 1-20.
    by William F Lawvere
    posted to category_theory _copy foundation logic by adrian_pigors on 2007-10-09 10:43:46 as ***
  • Diagonal arguments and Cartesian closed categories
    Repr. Theory Appl. Categ., No. 15. (2006), pp. 1-13 (electronic).
    by William F Lawvere
    posted to cartesian_closed_category category_theory _copy diagonalization _file goedel incompleteness by adrian_pigors on 2007-10-09 10:36:19 as ***
  • Adjointness in foundations
    Repr. Theory Appl. Categ., No. 16. (2006), pp. 1-16 (electronic).
    by William F Lawvere
    posted to adjunction cartesian_closed_category category_theory _copy _file logic by adrian_pigors on 2007-10-09 10:28:35 as ***
  • Taking categories seriously
    Repr. Theory Appl. Categ., No. 8. (2005), pp. 1-24 (electronic).
    by William F Lawvere
    posted to category_theory _copy enriched_category _file by adrian_pigors on 2007-10-09 10:19:12 as ***
  • Metric spaces, generalized logic, and closed categories [Rend. Sem. Mat. Fis. Milano 43 (1973), 135--166 (1974); MR0352214 (50 \#4701)]
    Repr. Theory Appl. Categ., No. 1. (2002), pp. 1-37 (electronic).
    by William F Lawvere
    posted to category_theory _copy enriched_category _file logic by adrian_pigors on 2007-10-09 10:08:07 as ****
  • Residuated completions of generalized semitopological semigroups
    (1990), pp. 63-83.
    by Marcel Erné
    posted to category_theory closure_system completion _priv residuation semigroup by adrian_pigors on 2007-10-05 16:31:46 as ***
  • General Stone duality
    Topology and its Applications, Vol. 137, No. 1-3. (28 February 2004), pp. 125-158.
    by Marcel Erné
    posted to adjunction category_theory complete_lattice duality _file _priv stone by adrian_pigors on 2007-10-05 16:23:37 as **** along with 1 person scis0000001
  • The Dedekind-MacNeille completion as a reflector
    Order, Vol. 8, No. 2. (1991), pp. 159-173.
    by Marcel Erné
    posted to category_theory complete_lattice completion cut cut-continuous dedekind _file morphism _priv by adrian_pigors on 2007-10-05 16:15:44 as read
  • Lattice representations for categories of closure spaces
    Vol. 5 (1984), pp. 197-222.
    by Marcel Erné
    posted to category_theory closure_space complete_lattice equivalence _priv by adrian_pigors on 2007-10-04 19:14:35 as *****
  • Cartesian bicategories. I
    J. Pure Appl. Algebra, Vol. 49, No. 1-2. (1987), pp. 11-32.
    by A Carboni, RFC Walters
    posted to bicategory category_theory _copy _file relation by adrian_pigors on 2007-10-04 18:56:58 as **
  • Chu spaces
    Vol. 21 (1999), pp. 39-100.
    by Vaughan Pratt
    posted to category_theory chu_space chu_transform _copy _file linear_logic by adrian_pigors on 2007-10-04 18:21:35 as ***
  • Institutions: abstract model theory for specification and programming
    J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
    by Joseph A Goguen, Rod M Burstall
    posted to category_theory _copy _file institution logic model_theory by adrian_pigors on 2007-10-04 18:03:54 as *** along with 7 people and 1 group mahler msakai bonotake scis0000001 masteraka marcinzalewski Scis0000002 Rightscom
  • Institution Morphisms
    Formal Aspects of Computing, Vol. 13, No. 3. (5 July 2002), pp. 274-307.
    by Joseph Goguen, Grigore Roşu
    posted to category_theory _copy _file institution logic model_theory morphism by adrian_pigors on 2007-10-04 17:56:54 as *** along with 1 person masteraka
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/adrian_pigors/tag/category_theory

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.