圏論（category theory）

Mathematical structure

Structure (mathematical logic)

Signature (logic)

Free object