John Carlos Baez on Nostr: Step 6: Bridge Category Theory and Your Chosen Domain(s): Read ACT Papers: Study ...
Step 6: Bridge Category Theory and Your Chosen Domain(s):
Read ACT Papers: Study papers specifically applying category theory to your chosen domain(s). Pay attention to how the abstraction is useful. Key authors and research groups are important here (e.g., work from Topos Institute, researchers like John Baez, David Spivak, Brendan Fong, Pawel Sobocinski, Bob Coecke, etc.).
Look for Analogies: Train yourself to see categorical structures (compositionality, universal properties, functoriality) in the systems and problems of your chosen domain.
Learn Relevant Tools: Explore software implementing ACT concepts (e.g., Catlab.jl in Julia, libraries in Haskell/Idris/Agda).
Phase 3: Building Experience and Network (Graduate Level & Beyond)
Step 7: Engage with the ACT Community:
Attend Conferences & Workshops: ACT Conference, Simons Institute workshops, SYCO (Symposium on Compositional Structures), domain-specific conferences where ACT work is presented.
Join Online Communities: Participate in forums like the Category Theory Zulip chat.
Read Blogs and Preprints: Follow key researchers on platforms like arXiv and personal blogs (e.g., The n-Category Café).
Published at
2025-04-17 23:29:24Event JSON
{
"id": "a3b9d1b6653becfcc3139c008525944cabd76ad8e14f90f7c7d70558eb0415c6",
"pubkey": "f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"created_at": 1744932564,
"kind": 1,
"tags": [
[
"e",
"de744a6d91bb6a0abfaeb3c3b580a8d2fd16d0731ae3d1e749d20107cc7b1cb8",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/114355900522371524",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Step 6: Bridge Category Theory and Your Chosen Domain(s):\n\nRead ACT Papers: Study papers specifically applying category theory to your chosen domain(s). Pay attention to how the abstraction is useful. Key authors and research groups are important here (e.g., work from Topos Institute, researchers like John Baez, David Spivak, Brendan Fong, Pawel Sobocinski, Bob Coecke, etc.).\n\nLook for Analogies: Train yourself to see categorical structures (compositionality, universal properties, functoriality) in the systems and problems of your chosen domain.\n\nLearn Relevant Tools: Explore software implementing ACT concepts (e.g., Catlab.jl in Julia, libraries in Haskell/Idris/Agda).\n\nPhase 3: Building Experience and Network (Graduate Level \u0026 Beyond)\n\nStep 7: Engage with the ACT Community:\n\nAttend Conferences \u0026 Workshops: ACT Conference, Simons Institute workshops, SYCO (Symposium on Compositional Structures), domain-specific conferences where ACT work is presented.\n\nJoin Online Communities: Participate in forums like the Category Theory Zulip chat.\n\nRead Blogs and Preprints: Follow key researchers on platforms like arXiv and personal blogs (e.g., The n-Category Café).",
"sig": "ba22d491ef7381143857f1486523df3552b5561c8355a982561dffd4cc570f560d8ef89994eaf4ac8dff9cb21a1b70888d1c62d8f49faed4060c3af0246fa634"
}