background image

Index

adjoint

lower

. . . . . . . . . . . . . . . . . . . . . . .

?

upper

. . . . . . . . . . . . . . . . . . . . . . .

?

associative

innite

. . . . . . . . . . . . . . . . . . . . . .

?

atom

. . . . . . . . . . . . . . . . . . . . . . . . .

?

atomic

. . . . . . . . . . . . . . . . . . . . . . . .

?

atomistic

. . . . . . . . . . . . . . . . . . . . . . .

?

ball

closed

. . . . . . . . . . . . . . . . . . . . . . .

?

open

. . . . . . . . . . . . . . . . . . . . . . . .

?

big staroid

generated

. . . . . . . . . . . . . . . . . . . . .

?

bounds

lower

. . . . . . . . . . . . . . . . . . . . . . .

?

upper

. . . . . . . . . . . . . . . . . . . . . . .

?

category

. . . . . . . . . . . . . . . . . . . . . . .

?

abrupt

. . . . . . . . . . . . . . . . . . . . . . .

?

dagger

. . . . . . . . . . . . . . . . . . . . . . .

?

of funcoid triples

. . . . . . . . . . . . . . . . .

?

of funcoids

. . . . . . . . . . . . . . . . . . . .

?

of pointfree funcoid triples

. . . . . . . . . . . .

?

of pointfree funcoids

. . . . . . . . . . . . . . .

?

of reloid triples

. . . . . . . . . . . . . . . . . .

?

of reloids

. . . . . . . . . . . . . . . . . . . . .

?

partially ordered

. . . . . . . . . . . . . . . . .

?

quasi-invertible

. . . . . . . . . . . . . . . . . .

?

with star morphisms

induced by dagger category

. . . . . . . . .

?

with star-morphisms

. . . . . . . . . . . . . . .

?

quasi-invertible

. . . . . . . . . . . . . . . .

?

category theory

. . . . . . . . . . . . . . . . . .

?

,

?

chain

. . . . . . . . . . . . . . . . . . . . . . . . .

?

closed

regarding pointfree funcoid

. . . . . . . . . . .

?

closure

in metric space

. . . . . . . . . . . . . . . . . .

?

Kuratowski

. . . . . . . . . . . . . . . . . . . .

?

co-completion

funcoid

pointfree

. . . . . . . . . . . . . . . . . . . .

?

of funcoid

. . . . . . . . . . . . . . . . . . . . .

?

of reloid

. . . . . . . . . . . . . . . . . . . . . .

?

co-metacomplete

. . . . . . . . . . . . . . . . . . .

?

complement

. . . . . . . . . . . . . . . . . . . . .

?

complemented

element

. . . . . . . . . . . . . . . . . . . . . .

?

lattice

. . . . . . . . . . . . . . . . . . . . . . .

?

complementive

. . . . . . . . . . . . . . . . . . . .

?

complete

multifuncoid

. . . . . . . . . . . . . . . . . .

17

staroid

. . . . . . . . . . . . . . . . . . . . .

17

complete lattice

homomorphism

. . . . . . . . . . . . . . . . . .

?

completely starrish

. . . . . . . . . . . . . . . . .

14

completion

of funcoid

. . . . . . . . . . . . . . . . . . . . .

?

of reloid

. . . . . . . . . . . . . . . . . . . . . .

?

composable

funcoids

. . . . . . . . . . . . . . . . . . . . . .

?

reloids

. . . . . . . . . . . . . . . . . . . . . . .

?

composition

funcoids

. . . . . . . . . . . . . . . . . . . . . .

?

of reloids

. . . . . . . . . . . . . . . . . . . . .

?

concatenation

. . . . . . . . . . . . . . . . . . . .

?

connected

regarding endofuncoid

. . . . . . . . . . . . . .

?

regarding endoreloid

. . . . . . . . . . . . . . .

?

regarding pointfree funcoid

. . . . . . . . . . .

?

connected component

. . . . . . . . . . . . . . . .

?

connectedness

regarding binary relation

. . . . . . . . . . . . .

?

connectivity reloid

. . . . . . . . . . . . . . . . . .

?

contained

. . . . . . . . . . . . . . . . . . . . . . .

?

contains

. . . . . . . . . . . . . . . . . . . . . . . .

?

continuity

coordinate-wise

. . . . . . . . . . . . . . . .

?

,

11

generalized

. . . . . . . . . . . . . . . . . .

?

,

?

in metric space

. . . . . . . . . . . . . . . . . .

?

of restricted morphism

. . . . . . . . . . . .

?

,

?

pre-topology

. . . . . . . . . . . . . . . . .

?

,

?

proximity

. . . . . . . . . . . . . . . . . . .

?

,

?

uniformity

. . . . . . . . . . . . . . . . . .

?

,

?

converges

regarding funcoid

. . . . . . . . . . . . . .

?

,

?

,

?

core

of ltrator

. . . . . . . . . . . . . . . . . . . . .

?

core part

. . . . . . . . . . . . . . . . . . . . . . .

?

dual

. . . . . . . . . . . . . . . . . . . . . . . .

?

core star

. . . . . . . . . . . . . . . . . . . . . . .

?

currying

. . . . . . . . . . . . . . . . . . . . . .

?

,

?

De Morgan's laws

. . . . . . . . . . . . . . . . . .

?

innite

. . . . . . . . . . . . . . . . . . . . . .

?

decomposition of composition

. . . . . . . . . .

?

,

?

of reloids

. . . . . . . . . . . . . . . . . . .

?

,

?

destination

. . . . . . . . . . . . . . . . . . . . . .

?

dierence

. . . . . . . . . . . . . . . . . . . . . . .

?

directly isomorphic

. . . . . . . . . . . . . . . . . .

?

disjunction property of Wallman

. . . . . . . . . .

?

distance

. . . . . . . . . . . . . . . . . . . . . . . .

?

distributive

innite

. . . . . . . . . . . . . . . . . . . . . .

?

domain

of funcoid

. . . . . . . . . . . . . . . . . . . . .

?

downgrading

. . . . . . . . . . . . . . . . . . . . .

?

staroid

. . . . . . . . . . . . . . . . . . . .

?

,

?

dual

order

. . . . . . . . . . . . . . . . . . . . . . .

?

poset

. . . . . . . . . . . . . . . . . . . . . . .

?

257