background image

INDEX

301

group theory, 27
groupoid, 26

I

ideal, 61
idempotent, 21
identity, 27
identity relation, 12, 288
image

of funcoid, 108

independent family, 84
inequality

triangle, 89

infimum, 14
infinitary

relation

anchored, 239

infinite distributive, 18
injective

funcoid, 129
reloid, 140

intersecting elements, 13
inverse, 26
isomorphic

filters, 180

isomorphism, 26

J

join, 14

binary, 14

join infinite distributive, 18
join semilattice

homomorphism, 20

joining elements, 13

K

Kuratowski’s lemma, 20

L

lattice, 15

boolean, 17
center, 18
co-brouwerian, 23
co-Heyting, 23
complete, 15
distributive, 16
homomorphism, 20

least element, 12, 13
limit, 227

generalized, 228

linearly ordered set, 13
lower bound

nontrivial, 288

M

maximal element, 13
meet, 14
meet infinite distributive, 18
meet semilattice

homomorphism, 20

minimal element, 13
monotone, 20
monovalued

funcoid, 129

reloid, 140

Morgan’s laws, 17
morphism, 26

bijective, 38
co-metacomplete, 38
entirely defined, 37
identity, 26
injective, 37
metacomplete, 38
metainjective, 38
metamonovalued, 38
monovalued, 37
surjective, 37
symmetric, 37
transitive, 37
unitary, 37

multifuncoid, 242

completary, 242

multigraph

directed, 26

multireloid, 263

convex, 266
principal, 266

O

object, 26
open map, 128
order

of pre-multifuncoid sketches, 244
Rudin-Keisler, 180

order embedding, 20
order homomorphism, 20
order isomorphism, 20
ordinal, 40
ordinal variadic, 41

P

partial order, 12

restricted, 12
strict, 12

partition

strong, 39
weak, 39

path, 166
poset

bounded, 15
separable, 29
starrish, 32

precategory, 26

dagger, 36
with star-morphisms, 253

pre-category

partially ordered, 36

with star-morphisms, 254

with star-morphism

induced by dagger pre-category, 255

with star-morphisms, 253

quasi-invertible, 254

preclosure, 90
pre-multifuncoid, 242
pre-multifuncoid sketch, 242

on powersets, 242

preorder, 12