Skip to main content
Scour
Discover
Docs
System
Light
Dark
Login
Sign up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Bartosz Milewski's Programming Cafe
bartoszmilewski.com
＋
Follow
ing
Yoneda Lemma in Double Categories
Bartosz Milewski's Programming Cafe
1w
1 week ago
5 min read
Bartosz Milewski's Programming Cafe
Bartosz Milewski
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Yoneda Lemma in Double Categories
Profunctor Optics
Bartosz Milewski's Programming Cafe
9w
9 weeks ago
HN
10 min read
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Profunctor Optics
Tannakian reconstruction
Bartosz Milewski's Programming Cafe
9w
9 weeks ago
HN
5 min read
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Tannakian reconstruction
Tambara Equipment
Bartosz Milewski's Programming Cafe
10w
10 weeks ago
HN
10 min read
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Tambara Equipment
Actegories
Bartosz Milewski's Programming Cafe
11w
11 weeks ago
HN
Covered by
2
4 min read
Bartosz Milewski's Programming Cafe
Covered by
2 sites
All 2 sites ›
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Actegories
Kan Extensions in Double Categories
Bartosz Milewski's Programming Cafe
14w
14 weeks ago
HN
Covered by
2
3 min read
Bartosz Milewski's Programming Cafe
Covered by
2 sites
All 2 sites ›
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Kan Extensions in Double Categories
Kan Extensions in Haskell
Bartosz Milewski's Programming Cafe
14w
14 weeks ago
HN
6 min read
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Kan Extensions in Haskell
Tabulation Tribulations
Bartosz Milewski's Programming Cafe
17w
17 weeks ago
HN
10 min read
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Tabulation Tribulations
Bending, Yanking, and Cartesian Squares in Double Categories
Bartosz Milewski's Programming Cafe
17w
17 weeks ago
HN
6 min read
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Bending, Yanking, and Cartesian Squares in Double Categories
Profunctor Equipment in Haskell
Bartosz Milewski's Programming Cafe
18w
18 weeks ago
HN
Covered by
2
2 min read
Bartosz Milewski's Programming Cafe
Covered by
2 sites
All 2 sites ›
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Profunctor Equipment in Haskell
Profunctor Equipment
Bartosz Milewski's Programming Cafe
21w
21 weeks ago
HN
10 min read
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Profunctor Equipment
The Axiom of Univalence
Bartosz Milewski's Programming Cafe
27w
27 weeks ago
HN
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for The Axiom of Univalence
Modeling Identity Types
Bartosz Milewski's Programming Cafe
48w
48 weeks ago
HN
2
Bartosz Milewski's Programming Cafe
HN
2
newer thread
·
older thread
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Modeling Identity Types
Identity Types
Bartosz Milewski's Programming Cafe
51w
51 weeks ago
HN
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Identity Types
Models of (Dependent) Type Theory
Bartosz Milewski's Programming Cafe
54w
54 weeks ago
HN
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Models of (Dependent) Type Theory
(Weak) Factorization Systems
Bartosz Milewski's Programming Cafe
60w
60 weeks ago
HN
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for (Weak) Factorization Systems
(Weak) Homotopy Equivalences
Bartosz Milewski's Programming Cafe
65w
65 weeks ago
HN
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for (Weak) Homotopy Equivalences
Fibrations and Cofibrations
Bartosz Milewski's Programming Cafe
68w
68 weeks ago
HN
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Fibrations and Cofibrations
Subfunctor Classifier
Bartosz Milewski's Programming Cafe
73w
73 weeks ago
HN
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Subfunctor Classifier
Subobject Classifier
Bartosz Milewski's Programming Cafe
78w
78 weeks ago
HN
Bartosz Milewski's Programming Cafe
Read on Scour →
Love
Like
Dislike
Save
See related topics
Feeds
Share
Report
Spam
Misleading
Harmful Content
Block bartoszmilewski.com
Actions for Subobject Classifier
Page 2 »
Log in to enable infinite scrolling
Keyboard shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
Preview post
v
Post actions
Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help