👉 In mathematics, a metadiabase is defined as a set of elements in a category that are all contained within another element. This means that every element of the metadiabase is also an element of the source category, and vice versa. The concept was introduced by John Baez in his book "The Metadiscourse".
