A remark on fibrancy of (A∞Cat,WA∞qe)
Abstract
In this note we prove the existence, in the category of (strictly unital) A∞categories, of the pullback of a (strictly unital) A∞functor, satisfying a particular property (denoted by F1), along any A∞functor. As a consequence we provide a positive answer to Pascaleff's question whether (A∞Cat,WA∞qe) is a fibrant object in RelCat.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.