The identity type weak factorisation system (Q959823): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q61834707, #quickstatements; #temporary_batch_1708557319324 |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2158324835 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0803.4349 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fibrations and geometric realizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy theoretic models of identity types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-dimensional monad theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructions of factorization systems in categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized algebraic theories and contextual categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Telescopic mappings in typed lambda calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Internal type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4474857 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4225149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4247303 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220599 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical logic and type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong stacks and classifying spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy-theoretic aspects of 2-monads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3727946 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modular correspondence between dependent type theories and categories including pretopoi and topoi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4255482 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999860 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lax factorization algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5606586 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally cartesian closed categories and type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4092156 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4243759 / rank | |||
Normal rank |
Latest revision as of 22:44, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The identity type weak factorisation system |
scientific article |
Statements
The identity type weak factorisation system (English)
0 references
12 December 2008
0 references
dependent type theory
0 references
identity type
0 references
weak factorisation system
0 references
0 references