Identity map on coproduct as 'linear combination'
96017
In a preadditive category, products are coproducts
118025
Kernel of composition of linear transformations
72952
Uniqueness of a linear map on a basis of a vector space
158135
How to generally match, unify and merge patterns?
92729
Morphism decomposition
49130
implementation for product keys
147903
Similar matrices-Identity
67310
The multi-part identifier could not be bound
96530
Matrix representation of linear map in this basis
142636
How to combine Bump Maps?
94844
Unitary map between sets of vectors
109649
idempotents acting as local identities
78027
Mapping key combination with xmodmap
5426
Preserving signatures of decorated functions
88281
Mixing and Distributing Qualifiers ($\forall x$, $\exists x$)
90264
Combining pure functions
149248
Pushforward of inverse map at the identity?