Strict stability of extension types

Weinberger, Jonathan

Local TagsRelease HistoryDetailsSummary

Strict stability of extension types

Weinberger, J. (submitted). Strict stability of extension types.

Item is Released

show all

Basic

hide

Item Permalink: https://hdl.handle.net/21.11116/0000-000F-C77C-6 Version Permalink: https://hdl.handle.net/21.11116/0000-000F-C77D-5

Genre: Preprint

Files

hide Files

:

2203.07194v4.pdf (Preprint), 473KB

View Save

File Permalink:
https://hdl.handle.net/21.11116/0000-000F-C77E-4

Name:
2203.07194v4

Description:
-

OA-Status:
Green

Visibility:
Public

MIME-Type / Checksum:
application/pdf / [MD5]

Technical Metadata:

View

Copyright Date:
-

Copyright Info:
-

License:
http://creativecommons.org/licenses/by/4.0/

Locators

hide

Locator:
https://doi.org/10.48550/arXiv.2203.07194 (Preprint) Open Access Green

Description:
-

OA-Status:
Green

Creators

hide

Creators:
Weinberger, Jonathan¹, Author

Affiliations:
1Max Planck Institute for Mathematics, Max Planck Society, ou_3029201

Content

hide

Free keywords: -

Abstract: We show that the extension types occurring in Riehl--Shulman's work on synthetic (∞,1)-categories can be interpreted in the intended semantics in a way so that they are strictly stable under substitution. The splitting method used here is due to Voevodsky in 2009. It was later generalized by Lumsdaine-Warren to the method of local universes.

Details

hide

Language(s): eng - English

Dates: Submitted: 2022-03-14

Publication Status: Submitted

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: No review

Identifiers: arXiv: 2203.07194

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

hide

Title: arXiv

Source Genre: Web Page

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -