Globular multicategories with homomorphism types

We introduce various notions of globular multicategory with homomorphism types. We develop a higher dimensional modules construction that constructs globular multicategories with strict homomorphism types. We illustrate how this construction is related to iterated enrichment. We show how various col...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Dean, CJ
Այլ հեղինակներ:	Kremnitzer, Y
Ձևաչափ:	Թեզիս
Լեզու:	English
Հրապարակվել է:	2022
Խորագրեր:	Dependent Type theory Categories (Mathematics)

Նկարագրություն
Ամփոփում:	We introduce various notions of globular multicategory with homomorphism types. We develop a higher dimensional modules construction that constructs globular multicategories with strict homomorphism types. We illustrate how this construction is related to iterated enrichment. We show how various collections of “higher category-like”objects give rise to globular multicategories with homomorphism types. We show how these structures suggest a new globular approach to the semantics of (directed) homotopy type theory.

Globular multicategories with homomorphism types

Նմանատիպ նյութեր