Homotopical inverse diagrams in categories with attributes

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kapulkin, Chris, Lumsdaine, Peter LeFanu
Formato:	Preprint
Publicado:	2018
Materias:	Logic Category Theory 03B15 Higher-order logic and type theory (primary), 03G30 Categorical logic, topoi, 18C50 Categorical semantics of formal languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/1808.01816