Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
polsihed the defnition at Segal category slightly and added a remark on how composition here is an infinity-anafunctor.
have touched Segal category again, expanding Idea and Definition a little more and adding a stubby Properties-section.
Thanks.
(The claim originated with revision 6.)
So I have moved the item
up in the list into chronological order. Is this the origin of the terminology “Segal categories”? (It’s remarkable that later authors use the term without citing where they got it from.)
Also touched the wording around these bibitems and added more DOI-links, throughout.
4: very likely. Term Segal condition is more classical but this setup for higher categories has definitely been developed by the Nice school (Université Nice-Sophia-Antipolis) of algebraic geometry whose seniors at the time were Simpson and Hirschowitz. But other pioneers of higher categories who compared approaches like Baez and Leinster could also possibly say about this history.
1 to 5 of 5