You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Eric Forgy (Jan 11 2021 at 20:50):Wow. Moore complex looks very similar to how I defined a diamond complex 
Eric Forgy (Jan 11 2021 at 20:56):They are definitely different, but seeing Moore complex gives me a huge hint as to a good way to define diamond complexes :+1:
Eric Forgy (Jan 11 2021 at 21:16): Eric Forgy (Jan 11 2021 at 21:20): Eric Forgy (Jan 11 2021 at 22:38):Eric Forgy said:
They are definitely different, but seeing Moore complex gives me a huge hint as to a good way to define diamond complexes :+1:
I know how to define them, but I mean that now I can define them with a presentation similar to Moore complex, which is probably worded a little more clearly than what I could come up with on my own.
Eric Forgy (Jan 11 2021 at 22:40):It looks to me like Moore complexes are actually made up of diamonds :blush: :large_blue_diamond:
Eric Forgy (Jan 11 2021 at 22:43):
Eric Forgy (Jan 11 2021 at 22:49):Moore complexes are forward looking open cones. Diamonds are the intersection of forward and backward looking cones.
Eric Forgy (Jan 11 2021 at 22:53):
Too bad I didn't record the exact date, but it was around (but before) Dec 21. This was one of the biggest "Eureka!" moments of my research life :nerd:
(It was definitely after Dec 18 - the previous date I marked in my notebook - and before Dec 21 - the day I sent it to a friend :blush:)
Eric Forgy (Jan 12 2021 at 08:47):