. . "1063799"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Kategorick\u00E1 logika je odv\u011Btv\u00ED matematiky, v n\u011Bm\u017E jsou n\u00E1stroje a koncepty z teorie kategori\u00ED aplikov\u00E1ny na studium matematick\u00E9 logiky. Je pozoruhodn\u00E1 sv\u00FDmi vazbami na teoretickou informatiku. V \u0161ir\u0161\u00EDm smyslu p\u0159edstavuje kategorick\u00E1 logika syntaxi i s\u00E9mantiku kategori\u00ED a pomoc\u00ED funktor\u016F. Kategorick\u00E1 logika poskytuje bohat\u00E9 koncep\u010Dn\u00ED pozad\u00ED pro konstrukce v logice a teorii typ\u016F. Obor je rozpoznateln\u00FD v tomto r\u00E1mci p\u0159ibli\u017En\u011B 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 . . "1110870560"^^ . . "L\u00F3gica categ\u00F3rica \u00E9 uma ramifica\u00E7\u00E3o da teoria categ\u00F3rica dentro da matem\u00E1tica, adjacente a l\u00F3gica matem\u00E1tica, mas mais not\u00E1vel pela sua conex\u00E3o com a teoria da computa\u00E7\u00E3o. Em termos gerais, l\u00F3gica categ\u00F3rica representa tanto sintaxe e sem\u00E2ntica por uma categoria, e uma interpreta\u00E7\u00E3o por um functor. O framework categ\u00F3rico propicia um rico contexto conceitual para as constru\u00E7\u00F5es l\u00F3gicas e tipo-te\u00F3ricas. O assunto tem sido reconhecido nestes termos desde 1970."@pt . "L\u00F3gica categ\u00F3rica \u00E9 uma ramifica\u00E7\u00E3o da teoria categ\u00F3rica dentro da matem\u00E1tica, adjacente a l\u00F3gica matem\u00E1tica, mas mais not\u00E1vel pela sua conex\u00E3o com a teoria da computa\u00E7\u00E3o. Em termos gerais, l\u00F3gica categ\u00F3rica representa tanto sintaxe e sem\u00E2ntica por uma categoria, e uma interpreta\u00E7\u00E3o por um functor. O framework categ\u00F3rico propicia um rico contexto conceitual para as constru\u00E7\u00F5es l\u00F3gicas e tipo-te\u00F3ricas. O assunto tem sido reconhecido nestes termos desde 1970."@pt . . . . . . . . . . . . . . . . "Kategorick\u00E1 logika je odv\u011Btv\u00ED matematiky, v n\u011Bm\u017E jsou n\u00E1stroje a koncepty z teorie kategori\u00ED aplikov\u00E1ny na studium matematick\u00E9 logiky. Je pozoruhodn\u00E1 sv\u00FDmi vazbami na teoretickou informatiku. V \u0161ir\u0161\u00EDm smyslu p\u0159edstavuje kategorick\u00E1 logika syntaxi i s\u00E9mantiku kategori\u00ED a pomoc\u00ED funktor\u016F. Kategorick\u00E1 logika poskytuje bohat\u00E9 koncep\u010Dn\u00ED pozad\u00ED pro konstrukce v logice a teorii typ\u016F. Obor je rozpoznateln\u00FD v tomto r\u00E1mci p\u0159ibli\u017En\u011B od roku 1970."@cs . . . . . "Categorical logic"@en . . . . . "Kategorick\u00E1 logika"@cs . . . . . . . . . . "L\u00F3gica categ\u00F3rica"@pt . . . . . . . . "10268"^^ . "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 . . . . .