mathematics subject classification for HoTT

0 views
Skip to first unread message

Egbert Rijke

unread,
Jan 25, 2017, 8:21:46 PM1/25/17
to HomotopyT...@googlegroups.com
Dear all,

Concerning papers written in the language of homotopy type theory, what would be good options for their mathematics subject classification? I.e. is it appropriate to use 55-XX for papers doing algebraic topology in HoTT, or 18-XX (or 03G30?) for papers that are about constructions analogous to some in category theory?

With kind regards,
Egbert
Reply all
Reply to author
Forward
0 new messages