Timeline for Is the category of projections interesting?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 11, 2023 at 4:39 | comment | added | Mike Shulman | Because "wide subcategory" is shorter than "class of morphisms containing all identities and closed under composition"? (-: | |
| Jan 10, 2023 at 2:12 | comment | added | Zhen Lin | You might say it’s a difference in perspective. Personally I don’t find it useful to think of a class of fibrations as a category in its own right, so why should I think of it as a subcategory at all? | |
| Jan 10, 2023 at 0:44 | comment | added | LSpice | @ZhenLin, re, what is the difference between a wide subcategory and a class of morphisms closed under composition? | |
| Jan 9, 2023 at 22:59 | comment | added | Zhen Lin | I would not consider it to be a subcategory but rather a class of morphisms. In a category with finitary products, this would be the smallest class of morphisms containing the isomorphisms and the projections to the terminal object and closed under pullback. In particular, in a category with pullbacks, this is the smallest class of fibrations making it a category of fibrant objects. | |
| Jan 9, 2023 at 20:55 | history | edited | Claudio Pisani | CC BY-SA 4.0 |
added 1 character in body
|
| Jan 9, 2023 at 18:05 | comment | added | Tobias Fritz | We've found some use for the finite sets example that you mention in categorical probability, see Definition 3.1.4 in A Probability Monad as the Colimit of Spaces of Finite Samples. | |
| Jan 9, 2023 at 17:42 | history | asked | Claudio Pisani | CC BY-SA 4.0 |