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: learning: questions

Topic: CT for Mechanistic Interpretability


view this post on Zulip Adel Ardalan (Nov 10 2025 at 20:23):

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

view this post on Zulip Jonty Male (Nov 11 2025 at 07:37):

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

view this post on Zulip Dhurim Cakiqi (Nov 11 2025 at 11:30):

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

view this post on Zulip Adel Ardalan (Nov 11 2025 at 14:18):

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:

view this post on Zulip Julian Gold (Nov 12 2025 at 23:51):

Thank you!!

view this post on Zulip Noah Chrein (Nov 14 2025 at 02:44):

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.

view this post on Zulip Julian Gold (Nov 14 2025 at 13:23):

“moral imperative” reminds me of one of my fave movies :) very cool, just sent join request in signal