| dbo:abstract |
Kategorická logika je odvětví matematiky, v němž jsou nástroje a koncepty z teorie kategorií aplikovány na studium matematické logiky. Je pozoruhodná svými vazbami na teoretickou informatiku. V širším smyslu představuje kategorická logika syntaxi i sémantiku kategorií a pomocí funktorů. Kategorická logika poskytuje bohaté koncepční pozadí pro konstrukce v logice a teorii typů. Obor je rozpoznatelný v tomto rámci přibližně od roku 1970. (cs) Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970. (en) Lógica categórica é uma ramificação da teoria categórica dentro da matemática, adjacente a lógica matemática, mas mais notável pela sua conexão com a teoria da computação. Em termos gerais, lógica categórica representa tanto sintaxe e semântica por uma categoria, e uma interpretação por um functor. O framework categórico propicia um rico contexto conceitual para as construções lógicas e tipo-teóricas. O assunto tem sido reconhecido nestes termos desde 1970. (pt) |
| dbo:wikiPageExternalLink |
http://www.webdepot.umontreal.ca/Usagers/marquisj/MonDepotPublic/HistofCatLog.pdf https://github.com/awodey/CatLogNotes https://www.cs.ru.nl/B.Jacobs/CLT/bookinfo.html https://link.springer.com/book/10.1007/BFb0066201 http://publish.uwo.ca/~jbell/ http://publish.uwo.ca/~jbell/catlogprime.pdf http://www.math.harvard.edu/~lurie/278x.html |
| dbo:wikiPageID |
1063799 (xsd:integer) |
| dbo:wikiPageLength |
10268 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1110870560 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Model_theory dbr:Metalogic dbr:Beta_reduction dbr:Peter_J._Freyd dbr:Interpretation_(logic) dbr:Intuitionistic_logic dbc:Monoidal_categories dbr:Mathematical_logic dbr:Mathematics dbr:Full_subcategory dbr:Equational_logic dbr:Equivalence_of_categories dbr:Simply_typed_lambda_calculus dbr:Functor dbr:Theoretical_computer_science dbr:Category_of_sets dbr:Type_theory dbr:Dana_Scott dbc:Systems_of_formal_logic dbr:History_of_topos_theory dbc:Theoretical_computer_science dbr:Effective_topos dbr:Theory_(mathematical_logic) dbr:Topos dbr:System_F dbr:Fibred_category dbr:Cartesian_closed_category dbc:Categorical_logic dbr:Category_(mathematics) dbr:Category_theory dbr:Martin_Hyland dbr:Untyped_lambda_calculus dbr:Universal_property dbr:Impredicative dbr:Diagram_chasing dbr:R.A.G._Seely |
| dbp:wikiPageUsesTemplate |
dbt:About dbt:Citation_needed dbt:Cite_book dbt:Cite_journal dbt:Cite_web dbt:Portal dbt:Refbegin dbt:Refend dbt:Reflist dbt:GBurl dbt:Harvnb |
| dct:subject |
dbc:Systems_of_formal_logic dbc:Theoretical_computer_science dbc:Categorical_logic |
| gold:hypernym |
dbr:Branch |
| rdf:type |
yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Know-how105616786 yago:Logic105664069 yago:Method105660268 yago:PsychologicalFeature100023100 dbo:Organisation yago:System105661996 yago:WikicatSystemsOfFormalLogic |
| rdfs:comment |
Kategorická logika je odvětví matematiky, v němž jsou nástroje a koncepty z teorie kategorií aplikovány na studium matematické logiky. Je pozoruhodná svými vazbami na teoretickou informatiku. V širším smyslu představuje kategorická logika syntaxi i sémantiku kategorií a pomocí funktorů. Kategorická logika poskytuje bohaté koncepční pozadí pro konstrukce v logice a teorii typů. Obor je rozpoznatelný v tomto rámci přibližně od roku 1970. (cs) Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970. (en) Lógica categórica é uma ramificação da teoria categórica dentro da matemática, adjacente a lógica matemática, mas mais notável pela sua conexão com a teoria da computação. Em termos gerais, lógica categórica representa tanto sintaxe e semântica por uma categoria, e uma interpretação por um functor. O framework categórico propicia um rico contexto conceitual para as construções lógicas e tipo-teóricas. O assunto tem sido reconhecido nestes termos desde 1970. (pt) |
| rdfs:label |
Categorical logic (en) Kategorická logika (cs) Lógica categórica (pt) |
| owl:sameAs |
freebase:Categorical logic yago-res:Categorical logic wikidata:Categorical logic dbpedia-az:Categorical logic dbpedia-cs:Categorical logic dbpedia-pt:Categorical logic https://global.dbpedia.org/id/mRqe |
| prov:wasDerivedFrom |
wikipedia-en:Categorical_logic?oldid=1110870560&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Categorical_logic |
| is dbo:wikiPageDisambiguates of |
dbr:Categorical |
| is dbo:wikiPageRedirects of |
dbr:Mitchell-Bénabou_internal_language dbr:Categorical_semantics dbr:Term-model_construction dbr:Internal_language dbr:Mitchell-Bénabou_language dbr:Mitchell–Bénabou_internal_language |
| is dbo:wikiPageWikiLink of |
dbr:Categorical_set_theory dbr:Propositional_calculus dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(A–C) dbr:List_of_mathematical_logic_topics dbr:Timeline_of_category_theory_and_related_mathematics dbr:Constructivism_(philosophy_of_mathematics) dbr:Mathematical_logic dbr:Glossary_of_areas_of_mathematics dbr:Glossary_of_category_theory dbr:Mitchell-Bénabou_internal_language dbr:Constructive_set_theory dbr:Structure_(mathematical_logic) dbr:Adjoint_functors dbr:Type_theory dbr:William_Lawvere dbr:Categorical dbr:Categorical_semantics dbr:Alexander_Grothendieck dbr:Curry–Howard_correspondence dbr:Cyc dbr:Grigore_Moisil dbr:Higher-order_logic dbr:Dialectic dbr:Grothendieck's_relative_point_of_view dbr:Natural_numbers_object dbr:Category_theory dbr:Many-sorted_logic dbr:Unifying_theories_in_mathematics dbr:Thomas_Streicher dbr:Term-model_construction dbr:Internal_language dbr:Outline_of_category_theory dbr:Outline_of_logic dbr:Mitchell-Bénabou_language dbr:Mitchell–Bénabou_internal_language |
| is foaf:primaryTopic of |
wikipedia-en:Categorical_logic |