Sanakirja
Tekoälykääntäjä
Käännöksiä ei löytynyt valitulle kohdekielelle.
Määritelmät
Substantiivi
- (category theory) A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.
Samankaltaisia sanoja
Taivutusmuodot
| Monikko | categorifications |