Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

3K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Public
julesh

After 5 hours sleep and a 6 hour meeting, on the flight home I apparently have invented coterms while thinking about pattern matching 🤷‍♀️

Boarders

@julesh is that different than terms of a codata type (type that you interact with as codomains)?

Dec 12, 2024, 08:39 PM·Public·Ivory for iOS
0boosts·1favorite
Public
julesh

@boarders I think it's a different thing, but it wouldn't surprise me much if they're closely related

Public
Zanzi @ Monoidal Cafe

@julesh @boarders they are, once you have terms + coterms for both data and codata, you get an involutive duality between them. thats what im working on for Jermaine right now

Public
Zanzi @ Monoidal Cafe

@boarders @julesh kinda, coterms are like case statements for data. The dual thing would be co-case statements for codata.

SearchLive feeds
About