@prefix dbo: <http://dbpedia.org/ontology/> . @prefix dbr: <http://dbpedia.org/resource/> . dbr:Higher-dimensional_algebra dbo:wikiPageWikiLink dbr:Timeline_of_category_theory_and_related_mathematics . dbr:Category_theory dbo:wikiPageWikiLink dbr:Timeline_of_category_theory_and_related_mathematics . dbr:Fundamental_theorem_of_topos_theory dbo:wikiPageWikiLink dbr:Timeline_of_category_theory_and_related_mathematics . dbr:Nonabelian_algebraic_topology dbo:wikiPageWikiLink dbr:Timeline_of_category_theory_and_related_mathematics . @prefix foaf: <http://xmlns.com/foaf/0.1/> . @prefix wikipedia-en: <http://en.wikipedia.org/wiki/> . wikipedia-en:Timeline_of_category_theory_and_related_mathematics foaf:primaryTopic dbr:Timeline_of_category_theory_and_related_mathematics . dbr:List_of_timelines dbo:wikiPageWikiLink dbr:Timeline_of_category_theory_and_related_mathematics . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . dbr:Timeline_of_category_theory_and_related_mathematics rdf:type dbo:Election . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . dbr:Timeline_of_category_theory_and_related_mathematics rdfs:label "Timeline of category theory and related mathematics"@en ; rdfs:comment "This is a timeline of category theory and related mathematics. Its scope (\"related mathematics\") is taken as: \n* Categories of abstract algebraic structures including representation theory and universal algebra; \n* Homological algebra; \n* Homotopical algebra; \n* Topology using categories, including algebraic topology, categorical topology, quantum topology, low-dimensional topology; \n* Categorical logic and set theory in the categorical context such as ; \n* Foundations of mathematics building on categories, for instance topos theory; \n* , including algebraic geometry, , etc. \n* Quantization related to category theory, in particular categorical quantization; \n* relevant for mathematics."@en . @prefix dcterms: <http://purl.org/dc/terms/> . @prefix dbc: <http://dbpedia.org/resource/Category:> . dbr:Timeline_of_category_theory_and_related_mathematics dcterms:subject dbc:Mathematics_timelines , dbc:Higher_category_theory , dbc:Category_theory ; dbo:abstract "This is a timeline of category theory and related mathematics. Its scope (\"related mathematics\") is taken as: \n* Categories of abstract algebraic structures including representation theory and universal algebra; \n* Homological algebra; \n* Homotopical algebra; \n* Topology using categories, including algebraic topology, categorical topology, quantum topology, low-dimensional topology; \n* Categorical logic and set theory in the categorical context such as ; \n* Foundations of mathematics building on categories, for instance topos theory; \n* , including algebraic geometry, , etc. \n* Quantization related to category theory, in particular categorical quantization; \n* relevant for mathematics. In this article, and in category theory in general, \u221E = \u03C9."@en ; dbo:wikiPageWikiLink dbr:Opetope , <http://dbpedia.org/resource/\u00D8ystein_Ore> , dbr:Hyperhomology , dbr:Maxim_Kontsevich , dbr:Louis_Crane , dbr:Adjoint_functors , dbr:Derived_categories , dbr:Joseph_Bernstein , dbr:Topological_monoid , dbr:Combinatorial_species , dbr:Quantum_group , dbr:Gordana_Todorov , <http://dbpedia.org/resource/Product_(category_theory)> , dbr:Quillen_adjunction , <http://dbpedia.org/resource/Peter_Ozsv\u00E1th> , dbr:Categorical_quantum_mechanics , dbr:Samson_Abramsky , dbr:Lawvere_theory , dbr:Oleg_Viro , dbr:William_Lawvere , dbr:Michael_Makkai , dbr:Max_Kelly , dbr:Affine_Grassmannian , dbr:Groupoid , dbr:Representation_theory , dbr:Chain_complex , dbr:Adjoint_functor , dbr:Enumerative_combinatorics , dbr:Intertwining_operator , <http://dbpedia.org/resource/Serre\u2013Swan_theorem> , dbr:Igor_Frenkel , dbr:Bernard_Dwork , dbr:Simplicial_homology , dbc:Mathematics_timelines , dbr:Marshall_Stone , dbr:Topos_theory , dbr:Topological_string_theory , dbr:Kleisli_category , <http://dbpedia.org/resource/Descent_(category_theory)> , dbc:Category_theory , <http://dbpedia.org/resource/Chern\u2013Simons_theory> , dbr:Mikhail_Khovanov , dbr:Cell_complex , dbr:Preadditive_category , dbr:Daniel_Kastler , dbr:Saunders_Mac_Lane , dbr:Walther_Mayer , dbr:Exact_category , <http://dbpedia.org/resource/Greg_Moore_(physicist)> , dbr:Reedy_category , <http://dbpedia.org/resource/Temperley\u2013Lieb_algebra> , dbr:Product_space , dbr:Massey_product , dbr:Khovanov_homology , dbr:Sheaf_theory , dbr:Cluster_category , dbr:Nicolai_Reshetikhin , dbr:Ruth_Lawrence , dbr:Mark_Naimark , dbr:Finitely_generated_algebra , dbr:Jim_Stasheff , dbr:Jones_polynomial , <http://dbpedia.org/resource/Andr\u00E9_Joyal> , <http://dbpedia.org/resource/Lawvere\u2013Tierney_topology> , <http://dbpedia.org/resource/Kripke\u2013Joyal_semantics> , dbr:Coherent_sheaf_cohomology , <http://dbpedia.org/resource/Cosmos_(category_theory)> , dbr:Hopf_algebroid , dbr:Elliott_Lieb , dbr:Cobordism_hypothesis , dbr:Michio_Jimbo , dbr:Weak_n-category , dbr:Poisson_manifold , dbr:P-adic_cohomology , <http://dbpedia.org/resource/Sheaf_(mathematics)> , dbr:Modular_tensor_category , dbr:Braided_tensor_category , <http://dbpedia.org/resource/Scheme_(mathematics)> , dbr:Module_theory , dbr:R-matrix , <http://dbpedia.org/resource/Fondements_de_la_G\u00E9ometrie_Alg\u00E9brique> , dbr:De_Rham_cohomology , <http://dbpedia.org/resource/Allegory_(category_theory)> , dbr:Opposite_category , dbr:Quantum_invariant , dbr:Uniform_space , dbr:Andy_Magid , <http://dbpedia.org/resource/Correspondence_(algebraic_geometry)> , dbr:Charles_Ehresmann , dbr:David_Mumford , dbr:Local_cohomology , dbr:Algebraic_vector_bundle , dbr:Kan_fibration , <http://dbpedia.org/resource/Doctrine_(mathematics)> , <http://dbpedia.org/resource/\u010Cech_cohomology> , dbr:Homotopy_type , dbr:Open_subset , dbr:Algebraic_space , dbr:Pointless_topology , <http://dbpedia.org/resource/J._Peter_May> , <http://dbpedia.org/resource/Kenneth_Brown_(mathematician)> , dbr:Nerve_of_a_category , dbr:Large_category , dbr:Locally_presentable_category , dbr:Affine_variety , dbr:Segal_category , <http://dbpedia.org/resource/William_S._Massey> , <http://dbpedia.org/resource/A\u221E-algebra> , dbr:Synthetic_differential_geometry , dbr:Cohomology_ring , dbr:Heinrich_Brandt , dbr:Hassler_Whitney , dbr:Chern_character , dbr:Injective_module , dbr:Functor , dbr:Deformation_quantization , dbr:Dennis_Gaitsgory , dbr:Topological_category , dbr:Small_category , dbr:Heyting_algebra , dbr:Partially_ordered_set , <http://dbpedia.org/resource/C*-algebra> , dbr:Gabriele_Vezzosi , dbr:Coherent_duality , dbr:Coherent_sheaf , dbr:Natural_transformation , dbr:First-order_logic , dbr:Universal_property , <http://dbpedia.org/resource/Limit_(category_theory)> , dbr:Algebraic_category , dbr:Moduli_problem , dbr:Quantum_groupoid , dbr:Relation_algebra , <http://dbpedia.org/resource/Peter_Johnstone_(mathematician)> , dbr:Complete_Heyting_algebra , dbr:Derived_scheme , dbr:Short_exact_sequence , dbr:Simon_Donaldson , <http://dbpedia.org/resource/Topos_(mathematics)> , dbr:Emmy_Noether , dbr:Morphism , dbr:Differential_graded_category , dbr:Equivalence_of_categories , dbr:Michael_Boardman , dbr:Grothendieck_universe , dbr:Saul_Kripke , dbr:Fiber_functor , dbr:Spectral_sequence , <http://dbpedia.org/resource/Eckmann\u2013Hilton_duality> , dbr:Chen_Ning_Yang , <http://dbpedia.org/resource/Eilenberg\u2013Steenrod_axioms> , dbr:Simplicial_set , dbr:Localization_of_a_topological_space , dbr:Grothendieck_connection , dbr:Simplex_category , dbr:Localization_of_a_category , <http://dbpedia.org/resource/Theory_(mathematical_logic)> , dbr:Chow_group , <http://dbpedia.org/resource/Grothendieck\u0027s_relative_point_of_view> , dbr:Nonabelian_cohomology , dbr:Kenji_Fukaya , dbr:Vladimir_Drinfeld , dbr:Floer_homology , dbr:Equivalence_relation , dbr:Projective_module , dbr:Universal_algebra , dbr:Projective_object , dbr:Operad , <http://dbpedia.org/resource/Ring_(mathematics)> , dbr:Compact_space , dbr:Tim_Porter , dbr:Garrett_Birkhoff , dbr:Foundations_of_mathematics , dbr:Associahedron , dbr:Loop_space , dbr:Gerbe , dbr:Galois_connection , dbr:Norman_Steenrod , dbr:Multicategory , dbr:D-module , dbr:Locally_compact_space , dbr:Sheaf_cohomology , dbr:Chern_class , dbr:Linear_logic , dbr:Jean-Yves_Girard , <http://dbpedia.org/resource/Forcing_(mathematics)> , dbr:Topology , <http://dbpedia.org/resource/Boolean_algebra_(logic)> , dbr:Abraham_Fraenkel , dbr:Topos , dbr:Formal_scheme , dbr:Homotopy_category , dbr:Homotopical_algebra , <http://dbpedia.org/resource/Mitchell\u0027s_embedding_theorem> , dbr:T , dbr:Cochain , <http://dbpedia.org/resource/Commutative_algebra_(structure)> , dbr:Paul_Bernays , <http://dbpedia.org/resource/\u00C9l\u00E9ments_de_g\u00E9om\u00E9trie_alg\u00E9brique> , dbr:Standard_conjectures_on_algebraic_cycles , dbr:Ext_functor , dbr:Type_theory , dbr:Vassiliev_invariant , <http://dbpedia.org/resource/\u221E-groupoid> , <http://dbpedia.org/resource/L._E._J._Brouwer> , dbr:Algebraic_variety , dbr:Nathan_Seiberg , dbr:Strict_2-category , dbr:Riemann_hypothesis , dbr:Stone_duality , <http://dbpedia.org/resource/Field_(mathematics)> , dbr:Categorical_set_theory , dbr:Homotopy_group , dbr:K-theory , dbr:Daniel_Kan , dbr:Abelian_group , dbr:Joachim_Lambek , dbr:Complex_manifold , dbr:Low-dimensional_topology , dbr:Jean-Louis_Verdier , dbr:Complete_category , dbr:James_Waddell_Alexander_II , <http://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory> , dbr:Tor_functor , dbr:David_Hilbert , dbr:Projective_resolution , dbr:Projective_variety , <http://dbpedia.org/resource/G\u00F6del\u0027s_completeness_theorem> , dbr:Vladimir_Voevodsky , dbr:Andrey_Kolmogorov , dbr:Finite_field , dbr:Integrable_system , dbr:Hilbert_Nullstellensatz , dbr:Quantum_topology , dbr:Categorical_logic , dbr:E-infinity_ring , dbr:Kan_extension , dbr:Chain_map , <http://dbpedia.org/resource/Michael_J._Hopkins> , dbr:Manifold , dbr:Algebraic_geometry_and_analytic_geometry , dbr:Global_section , dbr:Model_category , dbr:Roger_Penrose , dbr:James_Simons , dbr:Jean_Leray , dbr:Monoidal_categories , dbr:Weil_conjectures , <http://dbpedia.org/resource/Jean_Giraud_(mathematician)> , dbr:Commutative_ring , dbr:Categorical_semantics , <http://dbpedia.org/resource/Eduard_\u010Cech> , <http://dbpedia.org/resource/Motive_(algebraic_geometry)> , <http://dbpedia.org/resource/Andr\u00E9_Weil> , <http://dbpedia.org/resource/Cecil_J._Nesbitt> , dbr:Yoneda_lemma , <http://dbpedia.org/resource/Jean_B\u00E9nabou> , dbr:Jean-Pierre_Serre , dbr:Noncommutative_algebraic_geometry , <http://dbpedia.org/resource/Characteristic_(algebra)> , dbr:Categorical_topology , dbr:Knot_polynomial , dbr:Homological_mirror_symmetry , dbr:Ribbon_category , <http://dbpedia.org/resource/Hilbert\u0027s_syzygy_theorem> , dbr:Dennis_Sullivan , dbr:Weyl_quantization , dbr:Reinhold_Baer , dbr:Vladimir_Turaev , <http://dbpedia.org/resource/Grothendieck\u0027s_S\u00E9minaire_de_g\u00E9om\u00E9trie_alg\u00E9brique> , <http://dbpedia.org/resource/Kochen\u2013Specker_theorem> , dbr:String_topology , <http://dbpedia.org/resource/Grothendieck\u0027s_Galois_theory> , <http://dbpedia.org/resource/Pullback_(category_theory)> , <http://dbpedia.org/resource/Support_(mathematics)> , <http://dbpedia.org/resource/Class_(set_theory)> , dbr:Michael_Artin , <http://dbpedia.org/resource/Richard_Thomas_(mathematician)> , dbr:Algebraic_topology , dbr:Galois_theory , dbr:Triangulated_category , dbr:Homological_algebra , <http://dbpedia.org/resource/Group_(mathematics)> , dbr:Algebraic_K-theory , dbr:Algebraic_geometry , <http://dbpedia.org/resource/Riemann\u2013Hilbert_correspondence> , dbr:Closed_subset , <http://dbpedia.org/resource/Yang\u2013Baxter_equation> , dbr:Roger_Godement , dbr:Dagger_category , dbr:Hopf_algebra , <http://dbpedia.org/resource/Universe_(mathematics)> , dbr:Cohomology , <http://dbpedia.org/resource/Quotient_space_(topology)> , dbr:Axiom_of_choice , dbr:Topological_space , dbr:Singular_homology , dbr:Vaughan_Jones , dbr:Derived_category , dbr:Representable_functor , dbr:Abelian_category , <http://dbpedia.org/resource/Module_(mathematics)> , dbr:Conformal_field_theory , dbr:Langlands_program , <http://dbpedia.org/resource/Mathematics,_Form_and_Function> , <http://dbpedia.org/resource/Scheme_(algebraic_geometry)> , dbr:Intuitionistic_logic , <http://dbpedia.org/resource/Resolution_(algebra)> , dbr:Donaldson_invariant , dbr:Finitely_generated_projective_module , <http://dbpedia.org/resource/Helmut_Hofer_(mathematician)> , dbr:Law_of_excluded_middle , dbr:S-scheme , <http://dbpedia.org/resource/Analysis_situs_(paper)> , dbr:Tangle_hypothesis , <http://dbpedia.org/resource/Haskell\u2013Curry\u2013William\u2013Howard_correspondence> , dbr:Tohoku_paper , dbr:Abstract_algebra , dbr:Serre_C-theory , dbr:Satake_equivalence , dbr:Toposes , dbr:Frobenius_categories , dbr:Derived_algebraic_geometry , dbr:Giraud_characterization_theorem , dbr:Triangulated_functor , <http://dbpedia.org/resource/Bertrand_To\u00EBn> , dbr:Elementary_topoi , dbr:Higher_topos_theory , dbr:Rational_equivalence , dbr:Category_of_simplicial_sets , dbr:Chromatic_filtration , dbr:Dg-algebra , dbr:Spectral_sequences , dbr:Homotopy_groups , <http://dbpedia.org/resource/Deligne\u2013Mumford_stacks> , dbr:Coherent_topos , <http://dbpedia.org/resource/Kurt_G\u00F6del> , dbr:Dg-category , dbr:Elliptic_cohomology , <http://dbpedia.org/resource/Zolt\u00E1n_Szab\u00F3_(mathematician)> , dbr:Typed_set_theory , dbr:Noncommutative_scheme , dbr:Elementary_Theory_of_the_Category_of_Sets , dbr:Arend_Heyting , <http://dbpedia.org/resource/Cosmos_(mathematics)> , <http://dbpedia.org/resource/Grothendieck\u2013Hirzebruch\u2013Riemann\u2013Roch_theorem> , dbr:Nonabelian_sheaf_cohomology , dbr:Generalized_cohomology_theory , dbr:Derived_functor , dbr:John_Horton_Conway , dbr:Vector_space , dbr:Derivator , dbr:Homotopy_groups_of_the_spheres , <http://dbpedia.org/resource/Mukai\u2013Fourier_transform> , dbr:Spectral_presheaf , dbr:Extended_TQFT_hypothesis , dbr:Segal_map , dbr:Segal_n-category , dbr:Algebraic_quantum_field_theory , dbr:Lurie_characterization_theorem , dbr:Segal_categories , dbr:Complete_Segal_space , dbr:Frobenius_algebra , dbr:Computad , <http://dbpedia.org/resource/Generator_(category_theory)> , dbr:Simplicial_sheaf , <http://dbpedia.org/resource/Coherence_(category_theory)> , dbr:Pursuing_stacks , <http://dbpedia.org/resource/Donaldson\u2013Thomas_invariant> , dbr:Simplicial_homotopy_theory , <http://dbpedia.org/resource/Category_(mathematics)> , dbr:Derived_moduli_stacks , <http://dbpedia.org/resource/K\u00FCnneth_formula> , dbr:Topological_quantum_field_theory , <http://dbpedia.org/resource/Alexander_Rosenberg_(mathematician)> , dbr:Calabi-Yau_variety , <http://dbpedia.org/resource/Reshetikhin\u2013Turaev\u2013Witten_invariant> , dbr:Skein_theory , <http://dbpedia.org/resource/Sketch_(category_theory)> , <http://dbpedia.org/resource/Mitchell\u2013B\u00E9nabou_internal_language> , dbr:Quillen_axioms , <http://dbpedia.org/resource/Gelfand\u2013Naimark_theorem> , dbr:Dagger_functor , dbr:Grothendieck_topos , dbr:Category_of_tangles , dbr:Chow_motive , dbr:Categorical_quantization , dbr:Category_of_sets_and_relations , dbr:Artin_stacks , dbr:Langlands_dual_group , dbr:Categorical_Algebra , <http://dbpedia.org/resource/\u00C9tale_topology> , dbr:Langlands_duality , dbr:Intuitionism , dbr:Symmetric_monoidal_closed_category , dbr:Ross_Street , dbr:Categorical_bridge , dbr:Homotopy_hypothesis , dbr:Categorical_crossed_module , dbr:Pierre_Deligne , <http://dbpedia.org/resource/PROP_(category_theory)> , <http://dbpedia.org/resource/Calabi\u2013Yau_category> , dbr:Canonical_modelizer , dbr:Brendan_Fong , dbr:Brown_category , dbr:Axiomatic_categorical_geometry , <http://dbpedia.org/resource/Bazhanov\u2013Stroganov_d-simplex_equation> , dbr:Stone_representation_theorem , dbr:TQFT , dbr:Anderson_axioms , dbr:Arithmetic_universe , dbr:Algebraic_set_theory , dbr:Anafunctor , dbr:Algebraic-geometric_functor , dbr:Algebraic_homotopy , dbr:Functor_category , dbr:Abstract_tensor , dbr:Algebraic-geometric_category , dbr:Abstract_geometry , dbr:Abstract_set , dbr:Enriched_category_theory , dbr:ABC_categories , dbr:ABC_model_category , <http://dbpedia.org/resource/2-knot> , <http://dbpedia.org/resource/A._L._Blakers> , dbr:Yasha_Eliashberg , dbr:Weil_cohomology , dbr:Turaev-Viro_invariant , dbr:Universal_coefficient_theorem , dbr:Weighted_Euler_characteristic , dbr:Alex_Heller , <http://dbpedia.org/resource/Strict_\u221E-categories> , dbr:John_Henry_Whitehead , dbr:Weak_Kan_complex , dbr:Zamolodchikov_equation , dbr:Spherical_categories , dbr:Hom-set , <http://dbpedia.org/resource/Multicategory_(category_theory)> , <http://dbpedia.org/resource/Star_product_(quantization)> , dbr:Gray_category , dbr:Gray_tensor_product , dbr:Fundamental_theorem_of_topology , dbr:Kan_complex , dbr:Generalized_sheaf_cohomology , dbr:Freyd_representation_theorem , dbr:Irving_Segal , dbr:Fundamental_theorem_of_simplicial_homotopy_theory , dbr:Formal_theory_of_monads , dbr:Smooth_functor , dbr:Profunctor , dbr:Fraction_functor , dbr:Set_theory , dbr:Extended_topological_quantum_field_theory , dbr:FOLDS , dbr:Stabilization_hypothesis , dbr:Elliptic_object , dbr:Slice_category , dbr:Excision_of_extremals_algorithm , dbr:Dominic_Verity , dbr:Elementary_modelizer , dbr:CW_complex , dbr:Derived_functors , <http://dbpedia.org/resource/Deligne\u0027s_theorem_on_topos> , dbr:Homotopical_algebraic_geometry , dbr:Dictionary_between_sheaves_and_functions , dbr:Ordinal_number , dbr:Cumulative_hierarchy_of_sets , dbr:Peano_axioms , dbr:David_Yetter , dbr:Crane-Yetter_state_sum_model , <http://dbpedia.org/resource/Ronald_Brown_(mathematician)> , <http://dbpedia.org/resource/Lattice_(order)> , dbr:Crossed_complex , dbr:Complicial_set , dbr:Crane-Yetter_invariant , <http://dbpedia.org/resource/Clubs_(category_theory)> , dbr:Coherent_category , dbr:Category_with_class_structure , dbr:Category_with_duality , dbr:Category_of_generalized_metric_spaces , dbr:Category_theoretical_lambda_calculus , dbr:Categorical_noncommutative_geometry , dbr:Categorical_physics , dbr:Categorical_dimension , dbr:Categorical_ladder , dbr:Microcosm_principle , <http://dbpedia.org/resource/Mitchell\u2013Benabou_internal_language> , dbr:Main_Galois_theorem_for_toposes , dbr:Michael-Makkai , dbr:Local_set_theory , <http://dbpedia.org/resource/Logos_(mathematics)> , dbr:Masaki_Kashiwara , dbr:Linguistic_topos , dbr:Local_element , dbr:Motivic_cohomology , dbr:K-tuply_monoidal_n-category , dbr:Lagrangian_cycle , dbc:Higher_category_theory , <http://dbpedia.org/resource/John_Roberts_(mathematician)> , <http://dbpedia.org/resource/Joyal\u2013Street_coherence_theorem> , dbr:Solomon_Lefschetz , <http://dbpedia.org/resource/James_Dolan_(mathematician)> , <http://dbpedia.org/resource/John_Barret_(mathematician)> , dbr:John_Baez , dbr:Internal_category_theory , <http://dbpedia.org/resource/Internal_logic_(category_theory)> , dbr:Quasi-category , dbr:Hyperfunctor , <http://dbpedia.org/resource/Improvement_(mathematics)> , dbr:Hurewicz_model_structure , <http://dbpedia.org/resource/\u221E-topos> , dbr:Crossed_module , dbr:Hypercomplete_topos , dbr:Homotopy_topos , dbr:N-category , dbr:Hopf_category , dbr:Homotopical_cohomology_theory , dbr:Homotopical_functor , <http://dbpedia.org/resource/Operad_(category_theory)> , dbr:Homological_category , dbr:Initial_and_terminal_objects , dbr:Skein_module , dbr:Homotopical_category , dbr:Higher_homotopy_theory , <http://dbpedia.org/resource/Holomorphic_Chern\u2013Simons_functions> , dbr:Strict_n-category , dbr:Heller_axioms , dbr:Heyting_category , dbr:Greenlees-May_duality , dbr:Alexander_Grothendieck , dbr:HQFT , dbr:Segal_site , dbr:Heinz_Hopf , dbr:Segal_topology , dbr:Subobject_classifier , dbr:S-category , dbr:Schematic_homotopy_type , dbr:Nobuo_Yoneda , <http://dbpedia.org/resource/Continuous_function_(topology)> , dbr:Realization_functor , dbr:Relabelling_trick , dbr:Proper_functor , dbr:Q-deformation_theory , <http://dbpedia.org/resource/Polarization_(logic)> , dbr:Polycategory , dbr:Periodic_table_of_mathematics , dbr:Harold_Neville_Vazeille_Temperley , <http://dbpedia.org/resource/Philip_J._Higgins> , <http://dbpedia.org/resource/Par\u00E9_monadicity_theorem> , dbr:String_diagram , <http://dbpedia.org/resource/G\u00E9rard_Laumon> , dbr:Pascal_triangle_algorithm , dbr:Monoidal_category , dbr:H-space , dbr:Oswald_Wyler , dbr:Parity_complex , dbr:Opmorphism , <http://dbpedia.org/resource/Orbital_(topos_theory)> , <http://dbpedia.org/resource/Numerals_(topos_theory)> , dbr:Opetopic_set , dbr:Fukaya_category , dbr:N-topos , dbr:Carlos_Simpson , dbr:Noncommutative_formal_dg-manifold , dbr:Beno_Eckmann , dbr:N-category_with_duals , dbr:N-computad , dbr:Multitope , dbr:N-category_representation , dbr:Multiple_category , dbr:Multiple_functor , dbr:Modular_category , dbr:Moduli_space_of_sheaves , dbr:Model_of_a_set_theory , dbr:Model_topos , <http://dbpedia.org/resource/C*-category> , dbr:Stephan_Stolz , dbr:Elementary_theory_of_abstract_categories , dbr:Quantum_category , <http://dbpedia.org/resource/\u221E-site> , dbr:Ideal_completion , dbr:Ext_functors , dbr:Zermelo-Fraenkel_algebra , <http://dbpedia.org/resource/\u03A9-category> , dbr:Witten_functional_integral , dbr:Yoneda_structure , dbr:Injective_resolution , dbr:V-actegory , dbr:Varying_set , dbr:Turaev-Viro_state_sum_model , dbr:Hausdorff_space , dbr:Universal_topology , dbr:Spherical_category , dbr:Topos_hypothesis , dbr:Topos_theoretic_forcing , dbr:Braided_monoidal_category , dbr:Surface_diagram , dbr:Tetrahedron_equation , <http://dbpedia.org/resource/Spectrum_(homotopy_theory)> , dbr:Structuralist_foundation_of_abstract_mathematics , dbr:Preorder , dbr:Structured_set , dbr:Enriched_category , dbr:Street-Roberts_conjecture , <http://dbpedia.org/resource/Street\u2013Roberts_conjecture> , dbr:Coherence_theorem , dbr:State_sum , dbr:Stolz-Teichner_picture , dbr:Singular_functor , dbr:Tensor_product , dbr:Spin_network_category , dbr:Sheaves_of_n-types , dbr:Simplicial_object , dbr:Topological_modular_forms , dbr:Simpson_conjecture , dbr:Categorification , dbr:Classifying_space , dbr:Segal_topos , <http://dbpedia.org/resource/Shadow_(links)> , dbr:Quantum_groups , <http://dbpedia.org/resource/Realization_(probability)> , dbr:Cartesian_closed_category , dbr:Symmetric_monoidal_category , dbr:Commutative_diagram , dbr:Shigeru_Mukai , dbr:Compact_closed_category , <http://dbpedia.org/resource/Hermann_K\u00FCnneth> , dbr:Peter_Teichner , dbr:Homology_with_local_coefficients , dbr:Tannakian_category , dbr:Category_of_sets , <http://dbpedia.org/resource/2-category> , dbr:Bicategory , dbr:Autonomous_category , dbr:Christopher_Isham , dbr:Subcategory , dbr:Free_monoid , dbr:Bob_Coecke , dbr:Alexander_Givental , dbr:Witold_Hurewicz , dbr:Crystalline_cohomology , <http://dbpedia.org/resource/Andr\u00E9_Lichnerowicz> , dbr:Peter_Freyd , dbr:Global_element , dbr:Cauchy_completeness , dbr:Graeme_Segal , dbr:Horst_Herrlich , dbr:Richard_Brauer , <http://dbpedia.org/resource/Providence,_Rhode_Island> , dbr:Fundamental_theorem_of_topos_theory , dbr:Richard_Swan , dbr:Cluster_algebra , dbr:Category_of_CW-complexes , dbr:Myles_Tierney , dbr:Fibred_category , dbr:Category_of_modules , dbr:Samuel_Eilenberg , <http://dbpedia.org/resource/End_(category_theory)> , dbr:Two-dimensional_conformal_field_theory , dbr:Fundamental_group , <http://dbpedia.org/resource/A\u00B9_homotopy_theory> , dbr:Israel_Gelfand , dbr:Ring_theory , dbr:Kontsevich_invariant , dbr:Alexander_Zamolodchikov , dbr:American_Mathematical_Society , dbr:Grothendieck_topology , dbr:Perverse_sheaves , dbr:Henri_Cartan , dbr:NLab , dbr:Quantum_field_theory , dbr:Diaconescu_theorem , <http://dbpedia.org/resource/John_Gray_(mathematician)> , dbr:Abelian_categories , dbr:Idun_Reiten , dbr:Rodney_Baxter , dbr:Formal_algebraic_geometry , dbr:Exponential_object , dbr:Regular_category , dbr:Daniel_Quillen , dbr:Symplectic_manifold , dbr:Simplicial_space , <http://dbpedia.org/resource/Knot_(mathematics)> , dbr:Applied_category_theory , dbr:Rudolf_Haag , dbr:Tricategory , dbr:Jacob_Lurie , dbr:Knot_invariant , dbr:Injective_object , dbr:Shiing-Shen_Chern , dbr:Spin_foam , dbr:Lambda_calculus , <http://dbpedia.org/resource/Tangle_(mathematics)> , dbr:David_Spivak , dbr:Edward_Witten , dbr:Algebraic_theory , dbr:Continuum_hypothesis , <http://dbpedia.org/resource/Monad_(category_theory)> , <http://dbpedia.org/resource/Henri_Poincar\u00E9> , dbr:Ernst_Zermelo , dbr:Ieke_Moerdijk , dbr:Accessible_category , <http://dbpedia.org/resource/\u00C9tale_cohomology> , dbr:Connecting_homomorphism . @prefix dbp: <http://dbpedia.org/property/> . @prefix dbt: <http://dbpedia.org/resource/Template:> . dbr:Timeline_of_category_theory_and_related_mathematics dbp:wikiPageUsesTemplate dbt:Expand_list , dbt:Short_description , dbt:Math , dbt:Cite_conference , dbt:Reflist ; dbo:wikiPageRevisionID 1079685733 ; dbo:wikiPageExternalLink <http://math.ucr.edu/home/baez/history.pdf> . @prefix ns10: <http://ncatlab.org/nlab/> . dbr:Timeline_of_category_theory_and_related_mathematics dbo:wikiPageExternalLink ns10:list , <https://www.researchgate.net/publication/2485648> , <http://philmat.oxfordjournals.org/cgi/reprint/13/1/1> , <http://publish.uwo.ca/~jbell/catlogprime.pdf> , <http://www-math.mit.edu/~hrm/papers/ss.ps> , <http://www.maths.mq.edu.au/~street/Minneapolis.pdf> , <http://projecteuclid.org/DPubS%3Fverb=Display&version=1.0&service=UI&handle=euclid.bams/1183550014&page=record> , <http://projecteuclid.org/DPubS/Repository/1.0/Disseminate%3Fview=body&id=pdf_1&handle=euclid.bams/1183550012> , <http://www.math.unc.edu/Faculty/jds/survey.pdf> , <http://www.math.uiuc.edu/K-theory/0245/survey.pdf> , <http://www.geometry.net/cg/index.html> , <https://web.archive.org/web/20090319200302/http:/www.joma.org/images/upload_library/22/Ford/Dieudonne.pdf> . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . dbr:Timeline_of_category_theory_and_related_mathematics dbo:wikiPageLength "87815"^^xsd:nonNegativeInteger ; dbo:wikiPageID 19351165 . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix wikidata: <http://www.wikidata.org/entity/> . dbr:Timeline_of_category_theory_and_related_mathematics owl:sameAs wikidata:Q7806026 , <https://global.dbpedia.org/id/4wPai> , dbr:Timeline_of_category_theory_and_related_mathematics . @prefix gold: <http://purl.org/linguistics/gold/> . dbr:Timeline_of_category_theory_and_related_mathematics gold:hypernym dbr:Timeline . @prefix prov: <http://www.w3.org/ns/prov#> . dbr:Timeline_of_category_theory_and_related_mathematics prov:wasDerivedFrom <http://en.wikipedia.org/wiki/Timeline_of_category_theory_and_related_mathematics?oldid=1079685733&ns=0> ; foaf:isPrimaryTopicOf wikipedia-en:Timeline_of_category_theory_and_related_mathematics .