Functors (between -categories) that aren't strictly unital

DOI10.1007/S40062-017-0182-2zbMATH Open1402.18004arXiv1606.05669OpenAlexW3098028600MaRDI QIDQ721972FDOQ721972

Authors: Hiro Lee Tanaka 

Publication date: 20 July 2018

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Abstract: Let C and D be quasi-categories (a.k.a. infinity-categories). Suppose also that one has an assignment sending commutative diagrams of C to commutative diagrams of D which respects face maps, but not necessarily degeneracy maps. (This is akin to having an assignment which respects all compositions, but may not send identity morphisms to identity morphisms.) When does this assignment give rise to an actual functor? We show that if the original assignment can be shown to respect identity morphisms up to homotopy, then there exists an honest functor of infinity-categories which respects the original assignments up to homotopy. Moreover, we prove that such honest functors can be chosen naturally with respect to the original assignments.

Full work available at URL: https://arxiv.org/abs/1606.05669

Recommendations

• Homotopy coherent adjunctions and the formal theory of monads
• The 2-category theory of quasi-categories
• Ordinal subdivision and special pasting in quasicategories
• Rigidification of quasi-categories
• Fibrations of simplicial sets
• Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
• Strictly commutative models for \(E_\infty\) quasi-categories
• A Survey of (∞, 1)-Categories
• Infinity category theory from scratch
• Quasi-categories and Kan complexes

zbMATH Keywords

quasi-categoriessemi-simplicial setsstrictification of lax functors

Mathematics Subject Classification ID

Special categories (18B99) Homotopy theory (55P99) General theory of categories and functors (18A99)

Cites Work

• Higher Topos Theory (AM-170)
• Homotopy invariant algebraic structures on topological spaces
• General Theory of Natural Equivalences
• Title not available (Why is that?)
• Semi-simplicial complexes and singular homology
• \(\mathcal{A}_\infty\)-functors and homotopy theory of dg-categories
• Degeneracies in quasi-categories
• Rigidification of quasi-categories

Cited In (1)

• Segal spaces, spans, and semicategories

This page was built for publication: Functors (between \(\infty \)-categories) that aren't strictly unital

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q721972)