Category Theory
Zulip Server
Archive

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.

Stream: event: CT20->21

Topic: ✔ help!

Matteo Capucci (he/him) (Aug 30 2021 at 12:35):

Awkwardly enough, I forgot to bring here my laptop charger. I have an HP Elitebook 840, it's probably compatible with other HP chargers though.
Does someone have an HP charger I can try to use?

Notification Bot (Aug 30 2021 at 14:29):

Matteo Capucci (he/him) has marked this topic as resolved.