Closed TashiWalde closed 1 year ago
Formulate what it means for a shape inclusion to be a retract of another.
Left orthogonal shape inclusions are closed under retracts.
Right orthogonal maps are closed under exponentiation / product types
Formulate what it means for a shape inclusion to be a retract of another.
Left orthogonal shape inclusions are closed under retracts.
Right orthogonal maps are closed under exponentiation / product types