Categories in Context: Historical, Foundational, and Philosophical

Categories in Context: Historical, Foundational, and Philosophical

Source :

• Philosophia Mathematica [ 0031-8019 ] ; 2005-02.

Descripteurs français

• Wicri :
  • topic : Mathématiques.

English descriptors

• KwdEn :
  • Abelian, Abelian categories, Abelian groups, Abstract kind, Abstract kinds, Abstract level, Abstract levels, Abstract structure, Abstract structures, Abstract system, Abstract systems, Adjoint, Adjoint functor, Adjoint functors, Algebra, Algebraic, Algebraic geometry, Algebraic theories, Algebraic theory, Algebraic topology, Ante, Appropriate type, Awodey, Axiom, Axiom system, Axiomatic method, Background theory, Bourbaki, Cambridge university press, Cartan, Categorical, Categorical context, Categorical foundation, Categorical framework, Categorical logic, Categorical logicians, Categorical perspective, Category, Category theorists, Category theory, Columbia university, Completeness theorems, Concrete kind, Concrete kinds, Concrete level, Concrete system, Concrete systems, Constitutive, Context principle, Continuous mappings, Dordrecht, Eilenberg, Elementary topos, Essential features, Foundational, Foundational framework, Foundational research, Free topos, Fregean, Fregean demand, Functor, Functors, General theory, Generalized sketches, Grothendieck, Group theory, Hellman, Hilbertian, Homological, Homological algebra, Independent existence, Isomorphic, Isomorphism, Italic, Lambek, Landry, Lawvere, Lecture notes, Local mathematics, Makkai, Mathematica, Mathematical concept, Mathematical concepts, Mathematical knowledge, Mathematical object, Mathematical structuralism, Mathematical structures, Mathematical systems, Mathematical theory, Mathematics, Mathematics studies structure, Mclarty, Modalized version, Morphisms, Natural isomorphisms, Natural numbers, Natural transformation, Other words, Oxford university press, Philma, Philosophia, Philosophia mathematica, Philosophical position, Possible types, Princeton university press, Pure intuitionistic type theory, Resnik, Same kind, Same type, Schematic type, Schematic types, Shapiro, Sheaf theory, Structuralism, Structuralist, Structure theory, Subject matter, Such theories, Symbolic logic, Theorist, Topological, Topological spaces, Topology, Topos, Topos theory, Type theory, Weak categories.
• Teeft :
  • Abelian, Abelian categories, Abelian groups, Abstract kind, Abstract kinds, Abstract level, Abstract levels, Abstract structure, Abstract structures, Abstract system, Abstract systems, Adjoint, Adjoint functor, Adjoint functors, Algebra, Algebraic, Algebraic geometry, Algebraic theories, Algebraic theory, Algebraic topology, Ante, Appropriate type, Awodey, Axiom, Axiom system, Axiomatic method, Background theory, Bourbaki, Cambridge university press, Cartan, Categorical, Categorical context, Categorical foundation, Categorical framework, Categorical logic, Categorical logicians, Categorical perspective, Category, Category theorists, Category theory, Columbia university, Completeness theorems, Concrete kind, Concrete kinds, Concrete level, Concrete system, Concrete systems, Constitutive, Context principle, Continuous mappings, Dordrecht, Eilenberg, Elementary topos, Essential features, Foundational, Foundational framework, Foundational research, Free topos, Fregean, Fregean demand, Functor, Functors, General theory, Generalized sketches, Grothendieck, Group theory, Hellman, Hilbertian, Homological, Homological algebra, Independent existence, Isomorphic, Isomorphism, Italic, Lambek, Landry, Lawvere, Lecture notes, Local mathematics, Makkai, Mathematica, Mathematical concept, Mathematical concepts, Mathematical knowledge, Mathematical object, Mathematical structuralism, Mathematical structures, Mathematical systems, Mathematical theory, Mathematics, Mathematics studies structure, Mclarty, Modalized version, Morphisms, Natural isomorphisms, Natural numbers, Natural transformation, Other words, Oxford university press, Philma, Philosophia, Philosophia mathematica, Philosophical position, Possible types, Princeton university press, Pure intuitionistic type theory, Resnik, Same kind, Same type, Schematic type, Schematic types, Shapiro, Sheaf theory, Structuralism, Structuralist, Structure theory, Subject matter, Such theories, Symbolic logic, Theorist, Topological, Topological spaces, Topology, Topos, Topos theory, Type theory, Weak categories.

Abstract

• https://api.istex.fr/document/6C037185D05FFDCD17ECD03BE771DD3550F1BC10/fulltext/pdf

Links toward previous steps (curation, corpus...)

• to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :001610

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Istex/Curation

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001610 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 001610 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Mathematiques
   |area=    BourbakiV1
   |flux=    Istex
   |étape=   Curation
   |type=    RBID
   |clé=     ISTEX:6C037185D05FFDCD17ECD03BE771DD3550F1BC10
   |texte=   Categories in Context: Historical, Foundational, and Philosophical
}}

This area was generated with Dilib version V0.6.33. Data generation: Thu Jul 5 10:00:31 2018. Site generation: Sat Nov 19 17:42:07 2022