Conversation

Notices

1. Embed this notice
   julesh (julesh@mathstodon.xyz)'s status on Wednesday, 27-Nov-2024 04:11:42 JST julesh

   Maybe it's my biggest category theory hot take that closure is overrated

   • Embed this notice
     Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Wednesday, 27-Nov-2024 04:15:07 JST Zanzi @ Monoidal Cafe

     in reply to

     @julesh I have always agreed with that! 😛

   • Embed this notice
     julesh (julesh@mathstodon.xyz)'s status on Wednesday, 27-Nov-2024 04:17:00 JST julesh

     in reply to

     • Nikita Lisitsa

     @lisyarus I mean having internal homs, as in https://ncatlab.org/nlab/show/closed%20category

   • Embed this notice
     Nikita Lisitsa (lisyarus@mastodon.gamedev.place)'s status on Wednesday, 27-Nov-2024 04:17:01 JST Nikita Lisitsa

     in reply to

     @julesh What do you mean by "closure" here? Like being closed under some operations, or closure operators like monads, or something else?

   • Embed this notice
     Louis Lemonnier (llemonnier@mathstodon.xyz)'s status on Wednesday, 27-Nov-2024 04:36:29 JST Louis Lemonnier

     in reply to

     @julesh agreed