There are hornier unicorn fish, such as this gorgeous friend.
The One Who Walks in the Sun
@theonewhowalks3.bsky.social
831 followers 1.4K following 106 posts
Professional mathematician, amateur classicist and gardener.
Professional mathematician, amateur classicist and gardener.
![Wikipedia text stating the following: Mathematician William Lawvere interpreted dialectics in the setting of categorical logic in terms of adjunctions between idempotent monads.[61] This perspective may be useful in the context of theoretical computer science where the duality between syntax and semantics can be interpreted as a dialectic in this sense. For example, the Curry–Howard correspondence is such an adjunction or more generally the duality between closed monoidal categories and their internal logic.[62]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ncn6tap36kdsazzwjysyzkmu/bafkreiartmap2u4nye4urunl6rs7ayfd6kth6nam4bnbdahs7exrbprise)
