Filters#573

Merged

plt-amy merged 17 commits intomainfrom

Mar 28, 2026

Commits on Mar 28, 2026

def: natural numbers form a join semilattice

TOTBWF
authored and
plt-amy
committed
def: directed sets

TOTBWF
authored and
plt-amy
committed
def: upper sets

TOTBWF
authored and
plt-amy
committed
def: covariant poset of elements

TOTBWF
authored and
plt-amy
committed
def: filters

TOTBWF
authored and
plt-amy
committed
chore: anchor for covariant yoneda

TOTBWF
authored and
plt-amy
committed
def: filter bases

TOTBWF
authored and
plt-amy
committed
def: eventuality filters

TOTBWF
authored and
plt-amy
committed
fix: add aliases for upwards/downwards directedness

TOTBWF
authored and
plt-amy
committed
prose: fix typo

TOTBWF
and
plt-amy
committed
fix: address review comments

TOTBWF
authored and
plt-amy
committed
refactor: remove defn of nets, more prose on eventuality filters

TOTBWF
authored and
plt-amy
committed
chore: address review comments

TOTBWF
authored and
plt-amy
committed
prose: use "eventually always" over "eventually"

TOTBWF
authored and
plt-amy
committed
prose: duality for upper and lower sets

TOTBWF
authored and
plt-amy
committed
chore: add link target for lower sets

TOTBWF
authored and
plt-amy
committed
prose: address review comments

TOTBWF
authored and
plt-amy
committed