Kan vetenskaplig kritik vara ärekränkning?

Kan Extensions of Institutions

Institutions were introduced by Goguen and Burstall 8, 9, 10, 11] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphi...

Infantile tibia vara.

Familial infantile coxa vara.

Case 1-A man of thirty-six sought advice because he had wrenched his left hip while cycling. He had had previous trouble with his hips from the age of eighteen, but the attacks of pain were infrequent and settled rapidly. He worked as a brewery manager with little difficulty. Four years before he attended he had had a piece of bone removed from the right knee for osteochondritis. Figure 1 shows...

Deutscher Qualifikationsrahmen: Erprobung und Kritik

Zusammenfassung Schon im Jahre 2006 haben das Bundesministerium für Bildung und Forschung (BMBF) und die Kultusministerkonferenz (KMK) einen Prozess zur Entwicklung eines „Deutschen Qualifikationsrahmens für lebenslanges Lernen (DQR)“ in Gang gesetzt. Er soll dazu dienen, Qualifikationen, die in der allgemeinen, der Hochschulbildung und der beruflichen Bildung erworben werden, nach ihrem Niveau...

Computing left Kan extensions

We describe a new extension of the Todd–Coxeter algorithm adapted to computing left Kan extensions. The algorithm is a much simplified version of that introduced by Carmody and Walters (Category Theory, Proceedings of the International Conference Held in Como, Italy, 22–28 July 1990. Springer) in 1991. The simplification allows us to give a straightforward proof of its correctness and terminati...