Is there a name for this construction?


Construction

Create a free object, then mod out by some relations to get some smaller, more useful object. Essentially, you take your original object, blow it up into a much bigger object via free construction, then quotient it down to an object that’s bigger than your original one, but smaller than the free object.

Examples

I’m blanking out right now, but I’ve run into more than just these 2.

Tensor Product of \(V\) and \(W\)

Quotient the free vector space generated by \(V \times W\) so bilinearity holds.

Wedge product

Same as above, but with anti-symmetry enforced as well.

Related Posts

Why do things break in a 2 element set?

Braindead Way to Derive Taylor Series of Exponential Function

What is the prime factorization of zero?

Use of emphasis in speech

Generating a lot of language data with a theorem prover

"Litany Against Fear" in Present Tense

When it's time to party we will party hard

these are people who died

divine carrot

the frog