About: Categorical logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Categorical logic Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatSystemsOfFormalLogic, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FCategorical_logic

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.

Attributes	Values
rdf:type	yago:Ability105616246 yago:Abstraction100002137 yago:Cognition100023271 yago:Know-how105616786 yago:Logic105664069 yago:Method105660268 yago:PsychologicalFeature100023100 organisation yago:System105661996 yago:WikicatSystemsOfFormalLogic
rdfs:label	Categorical logic (en) Kategorická logika (cs) Lógica categórica (pt)
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)
dcterms:subject	Systems of formal logic Theoretical computer science Categorical logic
Wikipage page ID	1063799 (xsd:integer)
Wikipage revision ID	1110870560 (xsd:integer)
Link from a Wikipage to another Wikipage	Model theory Metalogic Beta reduction Peter J. Freyd Interpretation (logic) Intuitionistic logic Monoidal categories Mathematical logic Mathematics Full subcategory Equational logic Equivalence of categories Simply typed lambda calculus Functor Theoretical computer science Category of sets Type theory Dana Scott Systems of formal logic History of topos theory Theoretical computer science Effective topos Theory (mathematical logic) Topos System F Fibred category Cartesian closed category Categorical logic Category (mathematics) Category theory Martin Hyland Untyped lambda calculus Universal property Impredicative Diagram chasing dbr:R.A.G._Seely
Link from a Wikipage to an external page	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
sameAs	Categorical logic Categorical logic Categorical logic Categorical logic Categorical logic Categorical logic Categorical logic
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
has 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)
gold:hypernym	Branch
prov:wasDerivedFrom	wikipedia-en:Categorical_logic?oldid=1110870560&ns=0
page length (characters) of wiki page	10268 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Categorical_logic
is Link from a Wikipage to another Wikipage of	Categorical set theory Propositional calculus Index of logic articles Index of philosophy articles (A–C) List of mathematical logic topics Timeline of category theory and related mathematics Constructivism (philosophy of mathematics) Mathematical logic Glossary of areas of mathematics Glossary of category theory Mitchell-Bénabou internal language

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software