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 and

Quotient the free vector space generated by so bilinearity holds.

Wedge product

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

Related Posts

Swastika Night

Fun with negation and idioms

How to change tabs to spaces

Another Way to Write Conditional Probability

Notes for May 9, 2019

A tool to look at random images

Safeway

e-ink reminisces

Edwin Edwards

Middle School by Bo Burnham