Template

HomePage | RecentChanges | Preferences

Difference (from prior major revision) (no other diffs)

Morphisms

Let A and B be ... . A morphism from A to B is a function h : AB that is a homomorphism:
h(x ... y) = h(x) ... h(y).

Removed: 26,28d32
 Let A and B be ... . A morphism from A to B is a function h : A→B that is a homomorphism: h(x ... y) = h(x) ... h(y).

Removed: 30d33


Changed: 43,44c47

 Classtype

 Classtype

Changed: 47,48c50

 Equational theory

 Equational theory

Changed: 51,52c53

 Quasiequational theory

 Quasiequational theory

Changed: 55,56c56

 First-order theory

 First-order theory

Changed: 59,60c59

 Locally finite

 Locally finite

Changed: 63,64c62

 Residual size

 Residual size

Changed: 67,68c65

 Congruence distributive

 Congruence distributive

Changed: 71,72c68

 Congruence modular

 Congruence modular

Changed: 75,76c71

 Congruence n-permutable

 Congruence n-permutable

Changed: 79,80c74

 Congruence regular

 Congruence regular

Changed: 83,84c77

 Congruence uniform

 Congruence uniform

Changed: 87,88c80

 Congruence extension property

 Congruence extension property

Changed: 91,92c83

 Definable principal congruences

 Definable principal congruences

Changed: 95,96c86

 Equationally definable principal congruences

 Equationally definable principal congruences

Changed: 99,100c89

 Amalgamation property

 Amalgamation property

Changed: 103,104c92

 Strong amalgamation property

 Strong amalgamation property

Changed: 107,108c95

 Epimorphisms are surjective

 Epimorphisms are surjective

Changed: 120c107,108
 ...?
 ...? subvariety ...? expansion

Changed: 123c111,112
 ...?
 ...? supervariety ...? subreduct

Definition

A ... is a structure A = (A,...) of type (...) such that

(A,..) is a ...,
... is ...:   axiom, and
... is ...:   axiom.

Remark: Click on the 'Edit text of this page' link at the bottom, then copy the content of the textbox and paste it into the textbox of a page that needs to be filled out.

It is not unusual to give several (equivalent) definitions. Ideally, one of the definitions would give an irredundant axiomatization that does not refer to other classes.

Morphisms

Let A and B be ... . A morphism from A to B is a function h : AB that is a homomorphism: h(x ... y) = h(x) ... h(y).

Definition

An ... is a structure A = (A,...) of type (...) such that

... is ...:   axiom, and
... is ...:   axiom.

Examples

Feel free to add or delete properties from this list. The present list may contain properties that are not relevant to the class that is being described.

[Size 1]?:  1
[Size 2]?:
[Size 3]?:
[Size 4]?:
[Size 5]?:
[Size 6]?:

...? subvariety
...? expansion

Superclasses

...? supervariety
...? subreduct

HomePage | RecentChanges | Preferences