The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
108 views

Naming ambiguity in constructive pointwise natural transformations and whiskering

In the HoTT Book, the choice is made to talk about whiskering, rather than horizontal composition, because horizontal composition is ambiguous and only defined up to paths. Naturally, there is left ...
1
vote
0answers
180 views

Applied Math author order

In applied math it seems to be more common to list authors according to their contribution rather than alphabetically. This being the case, in the instance where there are more than 2 authors, I was ...