| | Profunctor Optics (bartoszmilewski.com) |
| 3 points by ibobev 15 days ago | past |
|
| | Tannakian Reconstruction (bartoszmilewski.com) |
| 34 points by ibobev 21 days ago | past | 3 comments |
|
| | Tambara Equipment (bartoszmilewski.com) |
| 13 points by ibobev 21 days ago | past |
|
| | Actegories (bartoszmilewski.com) |
| 51 points by ibobev 21 days ago | past | 9 comments |
|
| | Tabulation Tribulations (bartoszmilewski.com) |
| 2 points by jruohonen 39 days ago | past |
|
| | Kan Extensions in Double Categories (bartoszmilewski.com) |
| 2 points by ibobev 50 days ago | past |
|
| | Kan Extensions in Haskell (bartoszmilewski.com) |
| 2 points by ibobev 56 days ago | past |
|
| | Tabulation Tribulations (bartoszmilewski.com) |
| 1 point by ibobev 69 days ago | past |
|
| | Bending, Yanking, and Cartesian Squares in Double Categories (bartoszmilewski.com) |
| 1 point by ibobev 77 days ago | past |
|
| | Profunctor Equipment in Haskell (bartoszmilewski.com) |
| 41 points by g0xA52A2A 80 days ago | past | 20 comments |
|
| | Profunctor Equipment (bartoszmilewski.com) |
| 1 point by ibobev 3 months ago | past |
|
| | The Axiom of Univalence (bartoszmilewski.com) |
| 2 points by ibobev 4 months ago | past |
|
| | Math is your insurance policy (bartoszmilewski.com) |
| 1 point by ibobev 9 months ago | past |
|
| | Modeling Identity Types (bartoszmilewski.com) |
| 2 points by ibobev 9 months ago | past |
|
| | Modeling Identity Types (bartoszmilewski.com) |
| 2 points by ingve 9 months ago | past |
|
| | Identity Types (bartoszmilewski.com) |
| 1 point by thunderbong 10 months ago | past |
|
| | Identity Types (bartoszmilewski.com) |
| 49 points by matt_d 10 months ago | past | 41 comments |
|
| | Identity Types (bartoszmilewski.com) |
| 17 points by ibobev 10 months ago | past | 2 comments |
|
| | Models of (Dependent) Type Theory (bartoszmilewski.com) |
| 4 points by ibobev 11 months ago | past |
|
| | (Weak) Factorization Systems (bartoszmilewski.com) |
| 3 points by ibobev on July 27, 2025 | past |
|
| | Homotopy Equivalences (bartoszmilewski.com) |
| 80 points by ibobev on June 20, 2025 | past | 25 comments |
|
| | Fibrations and Cofibrations (bartoszmilewski.com) |
| 2 points by ibobev on May 30, 2025 | past |
|
| | Category Theory: Subfunctor Classifier (bartoszmilewski.com) |
| 4 points by ghuntley on April 21, 2025 | past |
|
| | Subobject Classifier (bartoszmilewski.com) |
| 3 points by ibobev on March 20, 2025 | past |
|
| | Understanding Attention in LLMs (bartoszmilewski.com) |
| 3 points by xk3 on March 8, 2025 | past |
|
| | Understanding Attention in LLMs (bartoszmilewski.com) |
| 1 point by sebg on March 7, 2025 | past |
|
| | Understanding Attention in LLMs (bartoszmilewski.com) |
| 3 points by ibobev on March 6, 2025 | past |
|
| | Understanding Yoneda (bartoszmilewski.com) |
| 5 points by thunderbong on Feb 17, 2025 | past |
|
| | The Fall of the Ski Civilization (bartoszmilewski.com) |
| 3 points by fanf2 on Dec 7, 2024 | past |
|
| | Sieves and Sheaves (bartoszmilewski.com) |
| 1 point by lapnect on Nov 16, 2024 | past |
|
|
| More |
