Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Categorical_logic> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- Categorical_logic abstract "Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more 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.".
- Categorical_logic wikiPageExternalLink ~jbell.
- Categorical_logic wikiPageExternalLink catlogprime.pdf.
- Categorical_logic wikiPageExternalLink awodey.
- Categorical_logic wikiPageExternalLink catlog.
- Categorical_logic wikiPageExternalLink bookinfo.html.
- Categorical_logic wikiPageExternalLink HistofCatLog.pdf.
- Categorical_logic wikiPageID "1063799".
- Categorical_logic wikiPageRevisionID "582847202".
- Categorical_logic hasPhotoCollection Categorical_logic.
- Categorical_logic subject Category:Categorical_logic.
- Categorical_logic subject Category:Systems_of_formal_logic.
- Categorical_logic subject Category:Theoretical_computer_science.
- Categorical_logic type Ability105616246.
- Categorical_logic type Abstraction100002137.
- Categorical_logic type Cognition100023271.
- Categorical_logic type Know-how105616786.
- Categorical_logic type Logic105664069.
- Categorical_logic type Method105660268.
- Categorical_logic type PsychologicalFeature100023100.
- Categorical_logic type System105661996.
- Categorical_logic type SystemsOfFormalLogic.
- Categorical_logic comment "Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more 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.".
- Categorical_logic label "Categorical logic".
- Categorical_logic sameAs m.042t5p.
- Categorical_logic sameAs Q5051813.
- Categorical_logic sameAs Q5051813.
- Categorical_logic sameAs Categorical_logic.
- Categorical_logic wasDerivedFrom Categorical_logic?oldid=582847202.
- Categorical_logic isPrimaryTopicOf Categorical_logic.