The directed plump ordering Article Swipe

PDF

Related Concepts

Joins Mathematics Type (biology) Combinatorics Pure mathematics Computer science Biology Ecology Programming language

Daniel Gratzer , Michael Shulman , Jonathan Sterling ·

Uncle Sam recruitment poster (US)

YOU? · · 2022 · Open Access · · DOI: https://doi.org/10.48550/arxiv.2202.07329 · OA: W4226118743

Based on Taylor's hereditarily directed plump ordinals, we define the directed plump ordering on W-types in Martin-Löf type theory. This ordering is similar to the plump ordering but comes equipped with non-empty finite joins in addition to the usual properties of the plump ordering.

Related Topics

Computer Science

Computer Science

Programming Language

Programming Language

The Dancers At The End Of Time

The Dancers At The End Of Time

The Bureaucrats (1936 Film)

The Bureaucrats (1936 Film)

The False Mirror

The False Mirror

The Massacre At Chios

The Massacre At Chios

Weapons (2025 Film)

Weapons (2025 Film)

Squid Game Season 3

Squid Game Season 3

Technological Fix

Technological Fix

Electronic Colonialism

Electronic Colonialism

Lauren Sánchez

Collective Action Problem

Collective Action Problem

Shefali Jariwala

Shefali Jariwala

Hackers: Heroes Of The Computer Revolution

Hackers: Heroes Of The Computer Revolution

Community Fridge

Community Fridge

Compassion Fade

Compassion Fade

Takahiro Shiraishi

Takahiro Shiraishi

The Wealth Of Networks

The Wealth Of Networks

This Changes Everything (Book)

This Changes Everything (Book)

Silencing The Past

Silencing The Past

Direct Action: An Ethnography

Direct Action: An Ethnography

Finding more related topics…

Fetching topic information...