FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788394322> ?p ?o ?g. }

• W2788394322 abstract "We define a simple kind of higher inductive type generalising dependent $W$-types, which we refer to as $W$-types with reductions. Just as dependent $W$-types can be characterised as initial algebras of certain endofunctors (referred to as polynomial endofunctors), we will define our generalisation as initial algebras of certain pointed endofunctors, which we will refer to as pointed polynomial endofunctors. We will show that $W$-types with reductions exist in all $Pi W$-pretoposes that satisfy a weak choice axiom, known as weakly initial set of covers (WISC). This includes all Grothendieck toposes and realizability toposes as long as WISC holds in the background universe. We will show that a large class of $W$-types with reductions in internal presheaf categories can be constructed without using WISC. We will show that $W$-types with reductions suffice to construct some interesting examples of algebraic weak factorisation systems (awfs's). Specifically, we will see how to construct awfs's that are cofibrantly generated with respect to a codomain fibration, as defined in a previous paper by the author." @default.
• W2788394322 created "2018-03-06" @default.
• W2788394322 creator A5055875276 @default.
• W2788394322 date "2018-02-21" @default.
• W2788394322 modified "2023-09-27" @default.
• W2788394322 title "W-Types with Reductions and the Small Object Argument" @default.
• W2788394322 cites W104177796 @default.
• W2788394322 cites W1520893111 @default.
• W2788394322 cites W1828583149 @default.
• W2788394322 cites W1836508668 @default.
• W2788394322 cites W1983905931 @default.
• W2788394322 cites W2001462012 @default.
• W2788394322 cites W2022837260 @default.
• W2788394322 cites W2032698723 @default.
• W2788394322 cites W2120677003 @default.
• W2788394322 cites W2121213425 @default.
• W2788394322 cites W2165986557 @default.
• W2788394322 cites W2172068359 @default.
• W2788394322 cites W2274485505 @default.
• W2788394322 cites W2556917400 @default.
• W2788394322 cites W2563196418 @default.
• W2788394322 cites W2609662765 @default.
• W2788394322 cites W2788226030 @default.
• W2788394322 cites W2950197522 @default.
• W2788394322 cites W2951879022 @default.
• W2788394322 cites W2980968212 @default.
• W2788394322 cites W3037732692 @default.
• W2788394322 cites W45266662 @default.
• W2788394322 cites W624912723 @default.
• W2788394322 cites W78673101 @default.
• W2788394322 cites W814004361 @default.
• W2788394322 hasPublicationYear "2018" @default.
• W2788394322 type Work @default.
• W2788394322 sameAs 2788394322 @default.
• W2788394322 citedByCount "8" @default.
• W2788394322 countsByYear W27883943222018 @default.
• W2788394322 countsByYear W27883943222019 @default.
• W2788394322 countsByYear W27883943222020 @default.
• W2788394322 countsByYear W27883943222021 @default.
• W2788394322 countsByYear W27883943222022 @default.
• W2788394322 crossrefType "posted-content" @default.
• W2788394322 hasAuthorship W2788394322A5055875276 @default.
• W2788394322 hasConcept C111472728 @default.
• W2788394322 hasConcept C11413529 @default.
• W2788394322 hasConcept C121332964 @default.
• W2788394322 hasConcept C124952713 @default.
• W2788394322 hasConcept C136119220 @default.
• W2788394322 hasConcept C138885662 @default.
• W2788394322 hasConcept C142362112 @default.
• W2788394322 hasConcept C151797676 @default.
• W2788394322 hasConcept C153046414 @default.
• W2788394322 hasConcept C154945302 @default.
• W2788394322 hasConcept C177264268 @default.
• W2788394322 hasConcept C182141236 @default.
• W2788394322 hasConcept C18903297 @default.
• W2788394322 hasConcept C199360897 @default.
• W2788394322 hasConcept C202444582 @default.
• W2788394322 hasConcept C2776378722 @default.
• W2788394322 hasConcept C2777212361 @default.
• W2788394322 hasConcept C2777299769 @default.
• W2788394322 hasConcept C2780586882 @default.
• W2788394322 hasConcept C33923547 @default.
• W2788394322 hasConcept C41008148 @default.
• W2788394322 hasConcept C44870925 @default.
• W2788394322 hasConcept C54486226 @default.
• W2788394322 hasConcept C5961521 @default.
• W2788394322 hasConcept C84999194 @default.
• W2788394322 hasConcept C86803240 @default.
• W2788394322 hasConceptScore W2788394322C111472728 @default.
• W2788394322 hasConceptScore W2788394322C11413529 @default.
• W2788394322 hasConceptScore W2788394322C121332964 @default.
• W2788394322 hasConceptScore W2788394322C124952713 @default.
• W2788394322 hasConceptScore W2788394322C136119220 @default.
• W2788394322 hasConceptScore W2788394322C138885662 @default.
• W2788394322 hasConceptScore W2788394322C142362112 @default.
• W2788394322 hasConceptScore W2788394322C151797676 @default.
• W2788394322 hasConceptScore W2788394322C153046414 @default.
• W2788394322 hasConceptScore W2788394322C154945302 @default.
• W2788394322 hasConceptScore W2788394322C177264268 @default.
• W2788394322 hasConceptScore W2788394322C182141236 @default.
• W2788394322 hasConceptScore W2788394322C18903297 @default.
• W2788394322 hasConceptScore W2788394322C199360897 @default.
• W2788394322 hasConceptScore W2788394322C202444582 @default.
• W2788394322 hasConceptScore W2788394322C2776378722 @default.
• W2788394322 hasConceptScore W2788394322C2777212361 @default.
• W2788394322 hasConceptScore W2788394322C2777299769 @default.
• W2788394322 hasConceptScore W2788394322C2780586882 @default.
• W2788394322 hasConceptScore W2788394322C33923547 @default.
• W2788394322 hasConceptScore W2788394322C41008148 @default.
• W2788394322 hasConceptScore W2788394322C44870925 @default.
• W2788394322 hasConceptScore W2788394322C54486226 @default.
• W2788394322 hasConceptScore W2788394322C5961521 @default.
• W2788394322 hasConceptScore W2788394322C84999194 @default.
• W2788394322 hasConceptScore W2788394322C86803240 @default.
• W2788394322 hasLocation W27883943221 @default.
• W2788394322 hasOpenAccess W2788394322 @default.
• W2788394322 hasPrimaryLocation W27883943221 @default.
• W2788394322 hasRelatedWork W1527390399 @default.
• W2788394322 hasRelatedWork W1975330990 @default.
• W2788394322 hasRelatedWork W1989573501 @default.

• next