Engineering

Bounded Boolean Powers and Transfer Results

The bounded variant of the Boolean power construction and the transfer theorems it supports.

Building a Manufacturing Cost-Reduction Portfolio

How to structure and prioritise a manufacturing cost-reduction portfolio across labour, rework and scrap, tooling and fixtures, inventory, energy and maintenance.

Business Analysis & Its 6 Domains

A detailed KEVOS handbook on Business Analysis & Its 6 Domains, covering core concepts, application, evidence, common errors and review checks.

Manufacturing13 Aug 2026 · 7 min read

Case Study: Reducing Assembly Time with a Simple Jig

A manufacturing improvement case study using a low-cost jig, with before/after assembly time, rework, labour cost, annual savings and payback calculations.

Class Operators H, S, P and their Composition

The operators taking homomorphic images, subalgebras and products of a class, the inclusions among their composites, and the identity HSP that computes the generated variety.

Clopen Sets and the Duality Dictionary

Working with the duality in practice: how to translate a specific problem into its dual form, and the properties that correspond on each side.

Closure Operators and Algebraic Closure

Closure operators, the complete lattices of closed sets they generate, and the correspondence that makes them the organising device behind subuniverses, congruences and generate…

Complete Lattices and Completeness Criteria

Lattices in which every subset — not merely every pair — has a supremum and an infimum, and the surprisingly economical criterion that establishes completeness from one half of …

Congruence-Distributive and Congruence-Modular Varieties

Varieties in which every congruence lattice is distributive or modular, the term conditions characterising them, and the structure theory each unlocks.

Congruences and the Substitution Property

Congruences: the equivalence relations compatible with the operations. The substitution property, why it is the right condition, and the failure modes when it is absent.

Decidability Questions in Universal Algebra

Which questions about varieties and algebras admit algorithms, and the dividing lines that later work established.

Design Decisions That Lock In Manufacturing Cost Before Production

A practical DFMA guide to the product decisions that commit manufacturing cost before the first production part is made.

Design of Experiments (DOE) for Manufacturing

DOE fundamentals for manufacturing: factors, levels, responses, run matrices, interactions, testing, analysis and response optimisation.

Design-Stage Cost Reduction vs Production Cost-Down

Compares early design-stage cost reduction with late production cost-down and shows where each approach can create value.

Direct Products and Factor Congruences

The direct product construction, the projection homomorphisms, and factor congruences — the congruence-lattice signature that detects when an algebra decomposes as a product.

Directly Indecomposable Algebras

Algebras that admit no non-trivial direct decomposition, the congruence-lattice condition characterising them, and the limits of unique factorisation.

Discriminator Varieties and their Structure

Varieties generated by classes of algebras sharing a discriminator term, and the representation theory that makes them, in the source's words, remarkably well-behaved.

Distributive Lattices and their Characterisation

The distributive law for lattices, its self-dual character, and the concrete examples that make distributivity the most important special condition in lattice theory.

DMADV and Design for Six Sigma (DFSS)

DMADV explained for new products and processes: Define, Measure, Analyze, Design and Verify with CTQs, risk analysis and robust design.

DMAIC Analyze Phase: Finding and Verifying Root Causes

Root-cause analysis in manufacturing using Pareto prioritisation, Fishbone structure, 5 Whys and data verification.

DMAIC Control Phase: Sustain the Improvement

How to sustain manufacturing gains using standard work, SPC, capability monitoring, ownership, audit and reaction plans.

DMAIC Define Phase: Problem Scoping, VOC and CTQs

How to define a manufacturing improvement project using a clear problem statement, customer voice, CTQs, SIPOC boundaries and measurable project objectives.

DMAIC for Manufacturing Process Improvement

A manufacturing-focused guide to Define, Measure, Analyze, Improve and Control, showing how the phases connect from problem statement to sustained process performance.

DMAIC Improve Phase: Countermeasures, Poka-Yoke and Controlled Trials

How to develop, test and select manufacturing countermeasures using mistake-proofing, controlled trials, standard-work design and benefit verification.

Manufacturing13 Aug 2026 · 7 min read

DMAIC Measure Phase: Baseline Performance and Cost

How to quantify manufacturing baseline performance and cost using check sheets, run charts, operational definitions and reliable data.

Domain Deep-Dive — Development Approach & Life Cycle

Predictive to adaptive, delivery cadence, life cycle & phases, selecting & aligning an approach.

Elementary Equivalence and Elementary Substructures

Structures indistinguishable by first-order sentences, and substructures that agree with the ambient structure on every formula.

Elicitation, Analysis & Requirements

A detailed KEVOS handbook on Elicitation, Analysis & Requirements, covering core concepts, application, evidence, common errors and review checks.

Equational Logic and the Rules of Deduction

A formal proof system for identities, its five rules, and the completeness theorem matching syntactic derivability with semantic consequence.

Equivalence Relations and the Partition Lattice Eq(A)

Equivalence relations on a set, their equivalent description as partitions, and the complete lattice Eq(A) they form — the ambient lattice inside which every congruence lattice …

Filters and Ideals in Boolean Algebras

Filters as upward-closed meet-closed subsets, ideals as their duals, and their correspondence with congruences.

Filters, Reduced Products and the Construction

The reduced product construction in detail: how a filter on the index set determines which coordinates matter.

First-Order Languages and Signatures

The syntax of first-order logic as universal algebra needs it: languages with function and relation symbols, terms, formulas, and the distinction between free and bound variables.

First-Order Structures and Interpretation

Structures as the semantic counterpart of languages: sets carrying interpretations of every function, constant and relation symbol.

Fishbone Diagram for Manufacturing Root-Cause Analysis

How to use an Ishikawa/Fishbone diagram to structure manufacturing root-cause hypotheses across equipment, process, people, materials, environment and management.

Engineering Mathematics13 Aug 2026 · 6 min read

Flashcards & Self-Quiz

A detailed KEVOS handbook on Flashcards & Self-Quiz, covering core concepts, application, evidence, common errors and review checks.

FMEA for Manufacturing Risk Analysis

A practical guide to Failure Mode and Effects Analysis for identifying failure modes, effects, causes, controls and risk-reduction actions in manufacturing.

Fully Invariant Congruences and Completeness

Fully invariant congruences on the term algebra, their correspondence with equational theories, and the lattice anti-isomorphism between theories and varieties.

Mechanical13 Aug 2026 · 13 min read

General Principles of Technical Drawing

A practitioner

Homomorphisms, Kernels and the First Isomorphism Theorem

Homomorphisms as structure-preserving maps, kernels as congruences, and the first isomorphism theorem in the generality where it belongs.

Horn Sentences and Reduced-Product Preservation

The syntactic class matching closure under reduced products, and why direct products behave so well for the classes algebra cares about.

Manufacturing13 Aug 2026 · 7 min read

Ideas per Worker: Measuring Continuous-Improvement Participation

How to use ideas-per-worker metrics carefully to understand improvement participation without turning suggestion counts into a vanity KPI.

Identities, Satisfaction and Equational Classes

Identities as pairs of terms, what it means for an algebra to satisfy one, and the Galois connection between classes of algebras and sets of identities.

Improving a Process Without Formal Authority

How engineers and front-line employees can improve manufacturing processes through observation, evidence, small trials and standardisation without waiting for a large transforma…

Irredundant Bases and the Irredundant Basis Theorem

Minimal generating sets that admit no proper generating subset, and the theorem constraining the possible sizes of such bases in an algebra with an algebraic closure operator.

Jónsson's Lemma for Congruence-Distributive Varieties

The theorem bounding the subdirectly irreducible algebras of a congruence-distributive variety, and the structural consequences that follow from it.

Lattice Homomorphisms and Order Preservation

Maps between lattices that respect the operations, and the sharp distinction between lattice homomorphisms and merely order-preserving maps — a distinction that has no analogue …

Lattices as Algebras: the Equational Definition

A lattice can be defined purely equationally, as a set with two binary operations satisfying four pairs of identities. This is the definition that makes lattices algebras in the…