query: Composition of a natural transformations with a functor--whiskering
positive_passages.docid: 137907
positive_passages.text: Composing functors with natural transformations
negative_passages.docid: 88013
negative_passages.text: injective linear transformation basis.
negative_passages.docid: 41359
negative_passages.text: Constructing a bijection
negative_passages.docid: 102899
negative_passages.text: Category theory with objects as logical expressions over $\{\vee,\wedge,\neg\}$ and morphisms as?
negative_passages.docid: 37058
negative_passages.text: Induced maps in homology are injective
negative_passages.docid: 145933
negative_passages.text: Localization commutes with Hom for finitely-generated modules
negative_passages.docid: 47630
negative_passages.text: Endomorphisms of modules satisfying chain conditions and counterexamples.
negative_passages.docid: 40603
negative_passages.text: Transform a list of functions to a composition
negative_passages.docid: 40868
negative_passages.text: Composition of two functions - Bijection
negative_passages.docid: 41261
negative_passages.text: Functors that aren't continuous/smooth
negative_passages.docid: 53634
negative_passages.text: Sequences or 'chains' of adjoint functors
negative_passages.docid: 83115
negative_passages.text: A set of elements in a reduced unity ring
negative_passages.docid: 131480
negative_passages.text: Proof that composition of invertible linear transformations is invertible (without determinants)
negative_passages.docid: 87412
negative_passages.text: when does a functor map products into products?
negative_passages.docid: 133498
negative_passages.text: Show that Function Compositions Are Associative
negative_passages.docid: 154142
negative_passages.text: Finding a specific basis for an endomorphism
negative_passages.docid: 121945
negative_passages.text: Monomorphisms and Epimorphisms in the category of small categories