The structure is not all that defines a type, you also need to include in its de...

Koshkin on Oct 20, 2021 | parent | context | favorite | on: Adventures in Category Theory – The algebra of typ...

The structure is not all that defines a type, you also need to include in its definition (explicitly or implicitly) a set of operations (functions) which may well be different for the structures that otherwise “look” the same.