Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

A category-theoretic version of the iden...

Emmenegger, Jacopo...

Free

Share this content

A category-theoretic version of the identity type weak factorization system by Emmenegger, Jacopo ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	06-09-2023
Summary	Gambino and Garner proved that the syntactic category of a dependent type theory with identity types can be endowed with a weak factorization system structure, called identity type weak factorization system. In this paper we consider an enrichment of Joyal's notion of tribe, which we call a tribe with weakly stable path objects, and prove a purely category-theoretic version of the identity type weak factorization system, thus generalizing Gambino and Garner's result. We conclude showing that this structure subsumes also the weak factorization systems coming from the topological and simplicial models of identity types obtained by van den Berg and Garner.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1412.0153

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Emmenegger, Jacopo. A category-theoretic version of the identity type weak factorization system. Australian National University. September 06, 2023. Accessed September 20, 2024. https://online.provdatabase.com/cite/23982

APA 7th EditionReferences

Emmenegger, Jacopo. (2023). A category-theoretic version of the identity type weak factorization system. Australian National University. https://online.provdatabase.com/cite/23982

Chicago 17th EditionReferences

Emmenegger, Jacopo. A category-theoretic version of the identity type weak factorization system. Australian National University. 2023. https://online.provdatabase.com/cite/23982

HarvardReferences

Emmenegger, Jacopo. (2023). A category-theoretic version of the identity type weak factorization system. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/23982. (Accessed 20 September 2024).

Harvard AustraliaReferences

Emmenegger, Jacopo, 2023, A category-theoretic version of the identity type weak factorization system, Australian National University, viewed 20 September 2024, <https://online.provdatabase.com/cite/23982>

MLA 9th EditionWorks Cited

Emmenegger, Jacopo. A category-theoretic version of the identity type weak factorization system. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/23982.

Share this eBook