Comma category

Eine Kommakategorie ist eine Konstruktion in der mathematischen Kategorientheorie, die 1963 von F. W. Lawvere eingeführt wurde. Der Name ergibt sich aus der ursprünglich von Lawvere verwendeten Notation.

Comma category

Eine Kommakategorie ist eine Konstruktion in der mathematischen Kategorientheorie, die 1963 von F. W. Lawvere eingeführt wurde. Der Name ergibt sich aus der ursprünglich von Lawvere verwendeten Notation.