Lawvere theories provide a categorical formulation of the algebraic theories from universal algebra. Freyd categories are categorical models of first-order effectful programming languages. The notion of sound limit doctrine has been used to classify accessible categories. We provide a definition of Lawvere theory that is enriched in a closed category that is locally presentable with respect to ...

The medical profession consistently strives to uphold patient empowerment, equality and safety. It is ironic that now, at a time where advances in technology and knowledge have given us an increased capacity to preserve and prolong life, we find ourselves increasingly asking questions about the value of the lives we are saving. A recent editorial by Professor Raanan Gillon questions the emphasi...

When the U.S. conducts warfare, elements of a force are drawn from different Services and work together as a single team to accomplish an assigned mission on the basis of joint doctrine. To achieve such unified action, it is necessary that specific Service doctrines be both consistent with and subservient to joint doctrine. But there are two further requirements that flow from the ways in which...

The Descartes Query Language (DQL) enables to query the performance of a system using adapters to various solution approaches. Thereby, DQL is a realization of the vision of Declarative Performance Engineering (DPE) which decouples the description of user concerns (performance questions and goals) from the task of selecting and applying a specific solution approach. While model-based approaches...

Through two chapters, we examine in the first part of this dissertation the governance doctrine in its genesis, conceptualization, diffusion and appropriation in the community of international development. In the first chapter, we discuss the political economy of governance by following its history, conceptualization, ideological and interdisciplinary frameworks in economics and political scien...

in descartes theological writing, he promotes two jointly puzzling theses: t1) god freely creates the eternal truths (i.e. the creation doctrine) and t2) the eternal truths are necessarily true. according to t1 god freely chooses which propositions to make necessary, contingent and possible. however the creation doctrine makes the acceptance of t2 tenuous for the creation doctrine implies that ...