This HTML5 document contains 89 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n23http://www.math.harvard.edu/~lurie/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n11https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
n13https://link.springer.com/book/10.1007/
dbthttp://dbpedia.org/resource/Template:
n22http://publish.uwo.ca/~jbell/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://www.webdepot.umontreal.ca/Usagers/marquisj/MonDepotPublic/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
n26https://github.com/awodey/
dbpedia-cshttp://cs.dbpedia.org/resource/
dbpedia-azhttp://az.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
n16https://www.cs.ru.nl/B.Jacobs/CLT/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Categorical_logic
rdf:type
yago:System105661996 yago:Know-how105616786 dbo:Organisation yago:Cognition100023271 yago:Logic105664069 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatSystemsOfFormalLogic yago:Abstraction100002137 yago:Ability105616246
rdfs:label
Categorical logic Kategorická logika Lógica categórica
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. 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. 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.
dcterms:subject
dbc:Systems_of_formal_logic dbc:Categorical_logic dbc:Theoretical_computer_science
dbo:wikiPageID
1063799
dbo:wikiPageRevisionID
1110870560
dbo:wikiPageWikiLink
dbr:Simply_typed_lambda_calculus dbc:Systems_of_formal_logic dbr:Interpretation_(logic) dbr:System_F dbr:Theoretical_computer_science dbr:Impredicative dbc:Categorical_logic dbr:Cartesian_closed_category dbr:Universal_property dbr:Dana_Scott dbr:Untyped_lambda_calculus dbr:Equational_logic dbr:Mathematical_logic dbr:Full_subcategory dbr:Category_(mathematics) dbr:Category_of_sets dbr:Model_theory dbr:Martin_Hyland dbc:Theoretical_computer_science dbr:History_of_topos_theory dbr:Diagram_chasing dbr:Theory_(mathematical_logic) dbr:Mathematics dbc:Monoidal_categories dbr:Beta_reduction dbr:R.A.G._Seely dbr:Metalogic dbr:Category_theory dbr:Topos dbr:Functor dbr:Intuitionistic_logic dbr:Effective_topos dbr:Equivalence_of_categories dbr:Peter_J._Freyd dbr:Type_theory dbr:Fibred_category
dbo:wikiPageExternalLink
n13:BFb0066201 n15:HistofCatLog.pdf n16:bookinfo.html n22: n22:catlogprime.pdf n23:278x.html n26:CatLogNotes
owl:sameAs
dbpedia-cs:Kategorická_logika n11:mRqe dbpedia-pt:Lógica_categórica wikidata:Q18376327 dbpedia-az:Məntiqi_kateqoriyalar yago-res:Categorical_logic freebase:m.042t5p
dbp:wikiPageUsesTemplate
dbt:About dbt:Citation_needed dbt:Cite_book dbt:GBurl dbt:Cite_web dbt:Cite_journal dbt:Reflist dbt:Harvnb dbt:Refend dbt:Refbegin dbt:Portal
dbo:abstract
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. 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. 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.
gold:hypernym
dbr:Branch
prov:wasDerivedFrom
wikipedia-en:Categorical_logic?oldid=1110870560&ns=0
dbo:wikiPageLength
10268
foaf:isPrimaryTopicOf
wikipedia-en:Categorical_logic