Regular Functors and Relative Realizability Categories

Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability categories are, when based on other categories than of the topos of sets. This paper explains the property and gives a construction for relative realizability categories that works for arbitrary base Heyting categories. The universal property shows us some new geometric morphisms to relative realizability toposes too

A Note on "Extensional PERs"

In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an \emph{algebraically compact category} relative to a restricted class of functors. Algebraic compactness is a synthetic condition on a category which ensures solutions of recursive equations involving endofunctors of the category. We extend that result to include all internal functors on $\mathcal{C}$ when $\mathcal{C}$ is viewed as a full internal category of the effective topos. This is done using two general results: one about internal functors in general, and one about internal functors in the effective topos.Comment: 6 page

Progress in burn scar contracture treatment:A clinimetric and clinical evaluation

Zuijlen., P.P.M. van [Promotor]Vet, H.C.W. de [Promotor

Strain-based optimization of human tissue-engineered small diameter blood vessels

Coronary arteries originate from the root of the aorta and supply blood to the heart. These arteries can become stiffer and narrowed due to the buildup of atherosclerotic plaque in the inner vessel layers. As the plaque increases in size, the lumen of the coronary arteries decreases and less blood can flow through them. Eventually, coronary artery disease (CAD) can lead to chest pain or a myocardial infarction. Treatment for this disease includes medicines, minimally invasive interventional procedures such as angioplasty and stent implantation, and coronary artery bypass grafting (CABG). Today most CABG operations are performed using combinations of the autologous left internal mammary artery and the saphenous vein. These grafts, especially the latter, perform suboptimal. In addition, a relative large part of all patients do not have suitable veins or arteries, caused by disease of the replacement vessel itself, usage in previous surgeries, the need for multiple bypasses or a combination of all these factors. Therefore, other types of vascular grafts have been proposed to replace the native substitute. Synthetic grafts, such ePTFE and Dacron, perform well at diameters >6mm, but are not suitable for small-diameter