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
Explore this link on the map →related reading
- Category Theory on Math3mamath3ma.com
- What is Category Theory Anyway?math3ma.com
- Lean (proof assistant) - Wikipediaen.wikipedia.org
- All pages in nLabncatlab.org
- Category theory - Wikipediaen.wikipedia.org
- 1Lab - 1Lab1lab.dev
- booksmath.ucr.edu
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- What Does Any of This Have To Do with Physics? - Nautilusnautil.us
- Infinity Category Theory Offers a Bird's-Eye View of Mathematics | Scientific Americanscientificamerican.com
- Adjunctions | Bartosz Milewski's Programming Cafebartoszmilewski.com
- The Fast Track – Sheafificationsheafification.com