Matches in SemOpenAlex for { <https://semopenalex.org/work/W1971071503> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1971071503 endingPage "503" @default.
- W1971071503 startingPage "491" @default.
- W1971071503 abstract "We consider certain applications of proof theory to the study of algebraic categories, The case usually studied in the literature is that of free categories with an additional structure. In this paper, we consider several problems in nonfree categories, such as the problem of full coherence, the problem of dependency of diagrams, the problem of description of arbitrary natural transformations, which show that the applications of proof theory to categories may go much farther. Bibliography: 18 titles." @default.
- W1971071503 created "2016-06-24" @default.
- W1971071503 creator A5005886064 @default.
- W1971071503 creator A5020802070 @default.
- W1971071503 creator A5024508444 @default.
- W1971071503 creator A5033247609 @default.
- W1971071503 date "2010-07-01" @default.
- W1971071503 modified "2023-10-14" @default.
- W1971071503 title "Categorical interpretation of logical derivations and its applications in algebra" @default.
- W1971071503 cites W136934826 @default.
- W1971071503 cites W1502726770 @default.
- W1971071503 cites W1964435823 @default.
- W1971071503 cites W1982767392 @default.
- W1971071503 cites W1985063546 @default.
- W1971071503 cites W1991895871 @default.
- W1971071503 cites W1992906530 @default.
- W1971071503 cites W2002241150 @default.
- W1971071503 cites W2040587708 @default.
- W1971071503 cites W2053083368 @default.
- W1971071503 cites W2088729555 @default.
- W1971071503 cites W2094250854 @default.
- W1971071503 cites W2143658255 @default.
- W1971071503 cites W2211675027 @default.
- W1971071503 cites W310636430 @default.
- W1971071503 doi "https://doi.org/10.1007/s10958-010-0002-2" @default.
- W1971071503 hasPublicationYear "2010" @default.
- W1971071503 type Work @default.
- W1971071503 sameAs 1971071503 @default.
- W1971071503 citedByCount "0" @default.
- W1971071503 crossrefType "journal-article" @default.
- W1971071503 hasAuthorship W1971071503A5005886064 @default.
- W1971071503 hasAuthorship W1971071503A5020802070 @default.
- W1971071503 hasAuthorship W1971071503A5024508444 @default.
- W1971071503 hasAuthorship W1971071503A5033247609 @default.
- W1971071503 hasBestOaLocation W19710715031 @default.
- W1971071503 hasConcept C105795698 @default.
- W1971071503 hasConcept C134306372 @default.
- W1971071503 hasConcept C136119220 @default.
- W1971071503 hasConcept C154945302 @default.
- W1971071503 hasConcept C161191863 @default.
- W1971071503 hasConcept C185701065 @default.
- W1971071503 hasConcept C188971069 @default.
- W1971071503 hasConcept C19768560 @default.
- W1971071503 hasConcept C199343813 @default.
- W1971071503 hasConcept C199360897 @default.
- W1971071503 hasConcept C202444582 @default.
- W1971071503 hasConcept C2777686260 @default.
- W1971071503 hasConcept C2781181686 @default.
- W1971071503 hasConcept C33923547 @default.
- W1971071503 hasConcept C41008148 @default.
- W1971071503 hasConcept C5274069 @default.
- W1971071503 hasConcept C527412718 @default.
- W1971071503 hasConcept C54884031 @default.
- W1971071503 hasConcept C71924100 @default.
- W1971071503 hasConcept C9376300 @default.
- W1971071503 hasConcept C97002063 @default.
- W1971071503 hasConceptScore W1971071503C105795698 @default.
- W1971071503 hasConceptScore W1971071503C134306372 @default.
- W1971071503 hasConceptScore W1971071503C136119220 @default.
- W1971071503 hasConceptScore W1971071503C154945302 @default.
- W1971071503 hasConceptScore W1971071503C161191863 @default.
- W1971071503 hasConceptScore W1971071503C185701065 @default.
- W1971071503 hasConceptScore W1971071503C188971069 @default.
- W1971071503 hasConceptScore W1971071503C19768560 @default.
- W1971071503 hasConceptScore W1971071503C199343813 @default.
- W1971071503 hasConceptScore W1971071503C199360897 @default.
- W1971071503 hasConceptScore W1971071503C202444582 @default.
- W1971071503 hasConceptScore W1971071503C2777686260 @default.
- W1971071503 hasConceptScore W1971071503C2781181686 @default.
- W1971071503 hasConceptScore W1971071503C33923547 @default.
- W1971071503 hasConceptScore W1971071503C41008148 @default.
- W1971071503 hasConceptScore W1971071503C5274069 @default.
- W1971071503 hasConceptScore W1971071503C527412718 @default.
- W1971071503 hasConceptScore W1971071503C54884031 @default.
- W1971071503 hasConceptScore W1971071503C71924100 @default.
- W1971071503 hasConceptScore W1971071503C9376300 @default.
- W1971071503 hasConceptScore W1971071503C97002063 @default.
- W1971071503 hasIssue "3" @default.
- W1971071503 hasLocation W19710715031 @default.
- W1971071503 hasLocation W19710715032 @default.
- W1971071503 hasLocation W19710715033 @default.
- W1971071503 hasOpenAccess W1971071503 @default.
- W1971071503 hasPrimaryLocation W19710715031 @default.
- W1971071503 hasRelatedWork W1578654632 @default.
- W1971071503 hasRelatedWork W1595870841 @default.
- W1971071503 hasRelatedWork W1607720949 @default.
- W1971071503 hasRelatedWork W2053934667 @default.
- W1971071503 hasRelatedWork W2073065349 @default.
- W1971071503 hasRelatedWork W2135704171 @default.
- W1971071503 hasRelatedWork W2164569390 @default.
- W1971071503 hasRelatedWork W3011960800 @default.
- W1971071503 hasRelatedWork W3180855406 @default.
- W1971071503 hasRelatedWork W4236657968 @default.
- W1971071503 hasVolume "168" @default.
- W1971071503 isParatext "false" @default.
- W1971071503 isRetracted "false" @default.
- W1971071503 magId "1971071503" @default.
- W1971071503 workType "article" @default.