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.
Hi all! Wondering whether folks here have seen the following preprint and have thought about category theoretic interpretations of their framework. It feels like there might be some connections, although it is not clear to me what the categories are to begin with.
https://arxiv.org/abs/2301.04709
There's likely an optimal person to ask this question to and it's likely https://rick-ali.github.io/, who surprises me by not being in this server
These papers may be of interest to you, since the original paper you posted talks about causal abstraction
https://arxiv.org/pdf/2502.00407
https://proceedings.mlr.press/v161/rischel21a/rischel21a.pdf
Dhurim Cakiqi said:
These papers may be of interest to you, since the original paper you posted talks about causal abstraction
https://arxiv.org/pdf/2502.00407
https://proceedings.mlr.press/v161/rischel21a/rischel21a.pdf
@Julian Gold Both of these look quite relevant. Thanks a lot, @Jonty Male and @Dhurim Cakiqi :slight_smile:
Thank you!!
This is awesome, I am primarily interested in mech interp, I think its a moral imperative to figure it out, I also think CT is ontologically fit for it. Though I believe that, perhaps, a framework for n-theories, is required for the sort of scale connectionism needs to derive paradigms that can be useful for interpreting systems.
For anyone interested in a casual chat centered around cognition and category theory, here's a signal link:https://signal.group/#CjQKIFdN_7SfeX1v9pb53cbbWhvj32GJ0MdV6gmuZ79_k-vkEhA7-ZbZMmGyQski9neFuK6H
I am trying to just get everyone I meet doing category theory for interpreting cognitive systems in there. Though I have been hesitant to post it in this zulip yet.
“moral imperative” reminds me of one of my fave movies :) very cool, just sent join request in signal