added textbook
Quinn
]]>for when the editing functionality is back: the entry representation theory should have a pointer to:
added pointer to:
added pointer to
fixed a very tiny typo: , -> .
anqurvanillapy
]]>Relevant material happening at the nCafe here.
]]>gave representation theory a little Idea-section, then added some words on its incarnation as homotopy type theory in context/in the slice over and added the following homotopy type representation theory – table, which I am also including in other relevant entries: