| http://www.w3.org/ns/prov#value | - The word ???doctrine??? itself is entirely due to Jon Beck and signifies something which is like a theory, except appropriate to be interpreted in the category of categories, rather than, for example, in the category of sets; of course, an important example of a doctrine is a 2-monad, and among 2-monads there are key examples whose category of ???algebras??? is actually a category of theories in t
|
