A Property Kind Calculus for Measurement Metrology

Table of Contents

	List of figures
1.	What PropertyKindCalculus provides
2.	Requirements
3.	Why a calculus, not a taxonomy
4.	How to read the status
5.	Tutorial: a first model, checked
6.	The Proved Spine
7.	Capstone theorems — what the calculus can do
8.	Foundations: system, part, and the ontological square
9.	Dedicated kinds-of-property
10.	Units and the Dimension-1 Problem
11.	Dimension as a Forgetful Functor
12.	Scale-spanning units — a third unit category (R13)
13.	The Interaction Algebra (Flater Appendix C)
14.	The Function Calculus and Complex-Valued Carriers (R12)
15.	Extensivity
16.	The object type
17.	Metrological modularity
18.	Write Once, Correctly
19.	Uncertainty quantification and numerical adequacy
20.	ISO/IEC 80000 — The Standards Catalogue
21.	ISO 80000-3 — Space and Time
22.	ISO 80000-4 — Mechanics
23.	ISO 80000-5 — Thermodynamics
24.	IEC 80000-6 — Electromagnetism
25.	ISO 80000-7 — Light and radiation
26.	ISO 80000-8 — Acoustics
27.	ISO 80000-9 — Physical chemistry and molecular physics
28.	ISO 80000-10 — Atomic and nuclear physics
29.	ISO 80000-11 — Characteristic numbers
30.	ISO 80000-12 — Condensed matter physics
31.	IEC 80000-13 — Information science and technology
32.	External Cross-References
33.	Using the library: annotations and generated indexes
34.	Applying the calculus to a domain: the model template
35.	Deploying a domain model: the deployment template
36.	Terminology — the dictionary and the index
	Dependency Graph
	Blueprint Summary
37.	License

16. The object type

16.1.	What an object type supplies
16.2.	The census of object types
16.3.	The generality of the paradigm
16.4.	Operations the object index changes
16.5.	Assembly over a composite

16.1. What an object type supplies🔗