Category Theory stream

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Caterers chatting on Cats.

2022-01-06 03:21:53
2021-03-14 22:32:43
sheaf, presheaf
40 messages.
2021-03-10 21:39:55
Adjunction
1 messages.
2021-03-10 21:37:01
2021-02-28 18:08:21
Yoneda
3 messages.
2021-02-28 18:05:26
2020-09-28 21:39:07
2020-09-05 18:34:22
New book
6 messages.
2020-09-05 03:39:18
stream events
1 messages.
2020-09-05 03:35:20
2020-07-28 20:53:24
Twitter
1 messages.
2020-07-11 16:40:07
2020-06-11 20:13:51
2020-05-25 13:43:46
F-algebras
3 messages.
2020-05-14 21:59:44
2020-02-24 16:10:40
Tool for thought
2 messages.
2020-02-17 08:47:46
Free Magma
1 messages.
2020-02-13 14:09:36
Closed functors
3 messages.
2020-02-08 12:26:16
Hopf monoids
3 messages.
2019-12-13 20:27:04
Enrichment
7 messages.
2019-12-03 04:09:22
Terminology
5 messages.
2019-11-28 18:54:50
0*1 = 0
18 messages.
2019-11-28 15:50:47
Computability?
14 messages.
2019-11-25 20:36:12