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
• Category Theory on Math3mamath3ma.com
• What is Category Theory Anyway?math3ma.com
• Lean (proof assistant) - Wikipediaen.wikipedia.org
• Is Category Theory Practical?substack.com
• All pages in nLabncatlab.org
• Lean Programming Languagelean-lang.org
• Thinking Categoricallyderangedmathematician.substack.com
• Category theory - Wikipediaen.wikipedia.org
• 1Lab - 1Lab1lab.dev
• Infinity Category Theory Offers a Bird's-Eye View of Mathematics | Scientific Americanscientificamerican.com
• Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com