nForum - PhysLean

Does github:PhysLean use any category theory? I don’t mean just categories and functors but showing things like adjunctions are fundamentally involved. I’ve been skim following PhysLean progress on Bluesky:physlean. 1 to 4 of 4

nForum - PhysLean Not signed in ( Sign In ) nForum A discussion forum about contributions to the nLab wiki and related areas of mathematics, physics, and philosophy. Home Discussions Categories Search nLab Help Discussion Feed RSS2 ATOM Not signed in Want to take part in these discussions? Sign in if you have an account, or apply for one below Username Password Remember me Sign in using OpenID Remember me Forgot your password? Apply for membership Site Tag Cloud 2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geo

related reading

• nLabncatlab.org
• Napkin.pdfvenhance.github.io
• All pages in nLabncatlab.org
• Finally We May Have a Path to the Fundamental Theory of Physics… and It’s Beautiful-Stephen Wolfram Writingswritings.stephenwolfram.com
• Category Theory on Math3mamath3ma.com
• Is Category Theory Practical?substack.com
• What is Category Theory Anyway?math3ma.com
• 4. Sets and Functions - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
• Thinking Categoricallyderangedmathematician.substack.com
• Infinity Category Theory Offers a Bird's-Eye View of Mathematics | Scientific Americanscientificamerican.com
• Categories for Machine Learningcats.for.ai
• How Sridhar Thinkssridharramesh.github.io