Timeline for How to find the Universal Category $\mathbf A$
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 5, 2017 at 16:46 | answer | added | Mike Shulman | timeline score: 8 | |
| Oct 4, 2017 at 19:56 | comment | added | A. G | @PeterLeFanuLumsdaine, yes, by the notion “quasicategories” I mean such Categories which objects form a conglomerate in the sense of “Abstract and Concrete Categories” book. | |
| Oct 4, 2017 at 19:51 | comment | added | A. G | @ArnaudD., yes, your comment is correct! | |
| Oct 4, 2017 at 16:02 | answer | added | Peter LeFanu Lumsdaine | timeline score: 5 | |
| Oct 4, 2017 at 15:34 | comment | added | Arnaud D. | And if my comment above is correct, $\mathbf{Sgr}$ is the category of semi-groups. | |
| Oct 4, 2017 at 15:29 | comment | added | Arnaud D. | @PeterLeFanuLumsdaine From previous questions of OP, I think the reference here is the book "Abstract and Concrete Categories" of Adamek, Herrlich and Strecker. In particular, this affirmation appears there as Definition 4.6 and Examples 4.7, with a reference to this book : amazon.com/… | |
| Oct 4, 2017 at 14:57 | comment | added | Peter LeFanu Lumsdaine | A few things that would be helpful to clarify: (1) What category do you mean by $\mathbf{Sgr}$? (2) Could you add a reference for the statement “we know” that you give here? (3) Presumably by “category” you are meaning “locally small category”: i.e. objects may form a proper class (alternatively, a large set), but each hom-set must be a set (alternatively, a small set)? (Also, I presume you mean “quasicategories” in the sense of “large categories” — today, quasi-categories is much more commonly used with a quite different meaning.) | |
| Oct 4, 2017 at 14:13 | history | edited | Ben McKay | CC BY-SA 3.0 |
grammar
|
| Oct 4, 2017 at 13:57 | history | asked | A. G | CC BY-SA 3.0 |