Matches in SemOpenAlex for { <https://semopenalex.org/work/W3029034905> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W3029034905 abstract "We introduce a notion of globular multicategory with homomorphism types. These structures arise when organizing collections of category-like objects such as type theories with identity types. We show how these globular multicategories can be used to construct various weak higher categorical structures of types and terms." @default.
- W3029034905 created "2020-06-05" @default.
- W3029034905 creator A5002219580 @default.
- W3029034905 date "2020-05-28" @default.
- W3029034905 modified "2023-09-27" @default.
- W3029034905 title "Globular Multicategories with Homomorphism Types" @default.
- W3029034905 cites W1511361133 @default.
- W3029034905 cites W2022585163 @default.
- W3029034905 cites W2106862136 @default.
- W3029034905 cites W2303436712 @default.
- W3029034905 cites W2962867533 @default.
- W3029034905 cites W3100912421 @default.
- W3029034905 cites W3101410841 @default.
- W3029034905 cites W3104908103 @default.
- W3029034905 cites W3123945518 @default.
- W3029034905 hasPublicationYear "2020" @default.
- W3029034905 type Work @default.
- W3029034905 sameAs 3029034905 @default.
- W3029034905 citedByCount "0" @default.
- W3029034905 crossrefType "posted-content" @default.
- W3029034905 hasAuthorship W3029034905A5002219580 @default.
- W3029034905 hasConcept C105795698 @default.
- W3029034905 hasConcept C113461152 @default.
- W3029034905 hasConcept C150846664 @default.
- W3029034905 hasConcept C18903297 @default.
- W3029034905 hasConcept C199360897 @default.
- W3029034905 hasConcept C202444582 @default.
- W3029034905 hasConcept C2777299769 @default.
- W3029034905 hasConcept C2780801425 @default.
- W3029034905 hasConcept C31972630 @default.
- W3029034905 hasConcept C33923547 @default.
- W3029034905 hasConcept C4042151 @default.
- W3029034905 hasConcept C41008148 @default.
- W3029034905 hasConcept C5274069 @default.
- W3029034905 hasConcept C86803240 @default.
- W3029034905 hasConceptScore W3029034905C105795698 @default.
- W3029034905 hasConceptScore W3029034905C113461152 @default.
- W3029034905 hasConceptScore W3029034905C150846664 @default.
- W3029034905 hasConceptScore W3029034905C18903297 @default.
- W3029034905 hasConceptScore W3029034905C199360897 @default.
- W3029034905 hasConceptScore W3029034905C202444582 @default.
- W3029034905 hasConceptScore W3029034905C2777299769 @default.
- W3029034905 hasConceptScore W3029034905C2780801425 @default.
- W3029034905 hasConceptScore W3029034905C31972630 @default.
- W3029034905 hasConceptScore W3029034905C33923547 @default.
- W3029034905 hasConceptScore W3029034905C4042151 @default.
- W3029034905 hasConceptScore W3029034905C41008148 @default.
- W3029034905 hasConceptScore W3029034905C5274069 @default.
- W3029034905 hasConceptScore W3029034905C86803240 @default.
- W3029034905 hasLocation W30290349051 @default.
- W3029034905 hasOpenAccess W3029034905 @default.
- W3029034905 hasPrimaryLocation W30290349051 @default.
- W3029034905 hasRelatedWork W1770773644 @default.
- W3029034905 hasRelatedWork W1844523246 @default.
- W3029034905 hasRelatedWork W186390230 @default.
- W3029034905 hasRelatedWork W1974089323 @default.
- W3029034905 hasRelatedWork W1997582403 @default.
- W3029034905 hasRelatedWork W2157110814 @default.
- W3029034905 hasRelatedWork W2164343886 @default.
- W3029034905 hasRelatedWork W2513132829 @default.
- W3029034905 hasRelatedWork W2572230934 @default.
- W3029034905 hasRelatedWork W2613505259 @default.
- W3029034905 hasRelatedWork W2809831186 @default.
- W3029034905 hasRelatedWork W2947921210 @default.
- W3029034905 hasRelatedWork W2964160333 @default.
- W3029034905 hasRelatedWork W3000227232 @default.
- W3029034905 hasRelatedWork W3021736704 @default.
- W3029034905 hasRelatedWork W3090620039 @default.
- W3029034905 hasRelatedWork W3099209700 @default.
- W3029034905 hasRelatedWork W3101135346 @default.
- W3029034905 hasRelatedWork W3101976357 @default.
- W3029034905 hasRelatedWork W3104417499 @default.
- W3029034905 isParatext "false" @default.
- W3029034905 isRetracted "false" @default.
- W3029034905 magId "3029034905" @default.
- W3029034905 workType "article" @default.