Submissions from bartoszmilewski.com

		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

HN For You