Public
- Public
- Network
- Groups
- Featured
- Popular
- People

Conversation

Notices

Embed this notice
julesh (julesh@mathstodon.xyz)'s status on Wednesday, 29-Jan-2025 05:05:38 JST julesh
in reply to
- Zanzi @ Monoidal Cafe
@zanzi pri types

In conversation about 2 months ago from mathstodon.xyz permalink
- Embed this notice
  Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Wednesday, 29-Jan-2025 05:05:39 JST Zanzi @ Monoidal Cafe
  
  Profunctors are to function types as ?what? is to Pi types?
  
  In conversation about 2 months ago permalink

Feeds