Matches in SemOpenAlex for { <https://semopenalex.org/work/W3075331025> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3075331025 abstract "The purpose of these notes is to give a categorical semantics for the transpension type (Nuyts and Devriese, Transpension: The Right Adjoint to the Pi-type, pre-print, 2020), which is right adjoint to a potentially substructural dependent function type. In section 2 we discuss some prerequisites. In section 3, we define multipliers and discuss their properties. In section 4, we study how multipliers lift from base categories to presheaf categories. In section 5, we explain how typical presheaf modalities can be used in the presence of the transpension type. In section 6, we study commutation properties of prior modalities, substitution modalities and multiplier modalities." @default.
- W3075331025 created "2020-08-24" @default.
- W3075331025 creator A5036983503 @default.
- W3075331025 date "2020-08-19" @default.
- W3075331025 modified "2023-09-23" @default.
- W3075331025 title "The Transpension Type: Technical Report." @default.
- W3075331025 cites W2148275052 @default.
- W3075331025 cites W2765189119 @default.
- W3075331025 cites W2798299123 @default.
- W3075331025 cites W2803581054 @default.
- W3075331025 cites W2915251887 @default.
- W3075331025 cites W2966311659 @default.
- W3075331025 cites W3022922601 @default.
- W3075331025 hasPublicationYear "2020" @default.
- W3075331025 type Work @default.
- W3075331025 sameAs 3075331025 @default.
- W3075331025 citedByCount "1" @default.
- W3075331025 countsByYear W30753310252020 @default.
- W3075331025 crossrefType "posted-content" @default.
- W3075331025 hasAuthorship W3075331025A5036983503 @default.
- W3075331025 hasConcept C105795698 @default.
- W3075331025 hasConcept C111919701 @default.
- W3075331025 hasConcept C124101348 @default.
- W3075331025 hasConcept C124584101 @default.
- W3075331025 hasConcept C136119220 @default.
- W3075331025 hasConcept C139002025 @default.
- W3075331025 hasConcept C139719470 @default.
- W3075331025 hasConcept C144024400 @default.
- W3075331025 hasConcept C162324750 @default.
- W3075331025 hasConcept C18903297 @default.
- W3075331025 hasConcept C202444582 @default.
- W3075331025 hasConcept C2777299769 @default.
- W3075331025 hasConcept C2779903281 @default.
- W3075331025 hasConcept C2780129039 @default.
- W3075331025 hasConcept C33923547 @default.
- W3075331025 hasConcept C36289849 @default.
- W3075331025 hasConcept C41008148 @default.
- W3075331025 hasConcept C5274069 @default.
- W3075331025 hasConcept C86803240 @default.
- W3075331025 hasConcept C94375191 @default.
- W3075331025 hasConceptScore W3075331025C105795698 @default.
- W3075331025 hasConceptScore W3075331025C111919701 @default.
- W3075331025 hasConceptScore W3075331025C124101348 @default.
- W3075331025 hasConceptScore W3075331025C124584101 @default.
- W3075331025 hasConceptScore W3075331025C136119220 @default.
- W3075331025 hasConceptScore W3075331025C139002025 @default.
- W3075331025 hasConceptScore W3075331025C139719470 @default.
- W3075331025 hasConceptScore W3075331025C144024400 @default.
- W3075331025 hasConceptScore W3075331025C162324750 @default.
- W3075331025 hasConceptScore W3075331025C18903297 @default.
- W3075331025 hasConceptScore W3075331025C202444582 @default.
- W3075331025 hasConceptScore W3075331025C2777299769 @default.
- W3075331025 hasConceptScore W3075331025C2779903281 @default.
- W3075331025 hasConceptScore W3075331025C2780129039 @default.
- W3075331025 hasConceptScore W3075331025C33923547 @default.
- W3075331025 hasConceptScore W3075331025C36289849 @default.
- W3075331025 hasConceptScore W3075331025C41008148 @default.
- W3075331025 hasConceptScore W3075331025C5274069 @default.
- W3075331025 hasConceptScore W3075331025C86803240 @default.
- W3075331025 hasConceptScore W3075331025C94375191 @default.
- W3075331025 hasOpenAccess W3075331025 @default.
- W3075331025 hasRelatedWork W1845932220 @default.
- W3075331025 hasRelatedWork W1947384707 @default.
- W3075331025 hasRelatedWork W2010912446 @default.
- W3075331025 hasRelatedWork W2024873396 @default.
- W3075331025 hasRelatedWork W2068619585 @default.
- W3075331025 hasRelatedWork W2157207923 @default.
- W3075331025 hasRelatedWork W2288298541 @default.
- W3075331025 hasRelatedWork W2462303056 @default.
- W3075331025 hasRelatedWork W2485037488 @default.
- W3075331025 hasRelatedWork W2498665769 @default.
- W3075331025 hasRelatedWork W2723174437 @default.
- W3075331025 hasRelatedWork W2760543158 @default.
- W3075331025 hasRelatedWork W2907631487 @default.
- W3075331025 hasRelatedWork W2951276922 @default.
- W3075331025 hasRelatedWork W2982984885 @default.
- W3075331025 hasRelatedWork W3077382513 @default.
- W3075331025 hasRelatedWork W3100854004 @default.
- W3075331025 hasRelatedWork W3104303419 @default.
- W3075331025 hasRelatedWork W3133133194 @default.
- W3075331025 hasRelatedWork W3186382587 @default.
- W3075331025 isParatext "false" @default.
- W3075331025 isRetracted "false" @default.
- W3075331025 magId "3075331025" @default.
- W3075331025 workType "article" @default.