Timeline for Is there a bimonad on the category of sets that is exact?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5, 2017 at 19:25 | history | edited | Ben Sprott | CC BY-SA 3.0 |
added 608 characters in body
|
| Nov 5, 2017 at 19:14 | comment | added | Ben Sprott | Let me write what I mean in the question. | |
| Nov 5, 2017 at 17:30 | comment | added | Todd Trimble | I wasn't describing any monad in particular; I was just interpreting for მამუკაჯიბლაძე what I thought you meant by "preserves equalizers on both sides". | |
| Nov 5, 2017 at 16:18 | comment | added | Ben Sprott | @ToddTrimble what is the Monad you are describing? I have a question here about something similar. Is it the same? | |
| Oct 17, 2017 at 14:44 | history | edited | Todd Trimble | CC BY-SA 3.0 |
added a reference for clarity
|
| Oct 17, 2017 at 12:53 | history | edited | Peter Heinig | CC BY-SA 3.0 |
Changed title so as to make it more likely to be found in future in searches for 'category of sets'; changed the all-caps-notation to a notation more in tune with recent books and e.g. https://mathoverflow.net/questions/93262/which-colimits-commute-with-which-limits-in-the-category-of-sets. Grammar
|
| Oct 17, 2017 at 10:43 | comment | added | Todd Trimble | @მამუკაჯიბლაძე Based on past questions, I think Ben means that both $M \circ -$ and $- \circ M$ preserve equalizers (but of course the latter is automatic since equalizers are computed pointwise). Also, I'll bet that reflexive equalizers would be enough for his purposes. | |
| Oct 17, 2017 at 4:21 | comment | added | მამუკა ჯიბლაძე | What do you mean by on both sides? | |
| Oct 16, 2017 at 21:22 | history | edited | Ben Sprott | CC BY-SA 3.0 |
added 100 characters in body
|
| Oct 16, 2017 at 21:15 | history | asked | Ben Sprott | CC BY-SA 3.0 |