(Q5758318)

English

higher category theory

Generalization of category theory for higher-order morphisms

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit