Doctrines are categorical structures very apt to study logics of different nature within a unified environment: the 2-category Dtn doctrines. Modal interior operators characterised as particular adjoints in Dtn. We show that they can be constructed from comonads well adjunctions it, and two constructions compare. Finally we amount information lost passage comonad, or an adjunction, modal operat...

In the context of quantaloid-enriched categories, we explain how each saturated class of weights defines, and is defined by, an essentially unique full sub-KZ-doctrine of the free cocompletion KZ-doctrine. The KZ-doctrines which arise as full sub-KZ-doctrines of the free cocompletion, are characterised by two simple “fully faithfulness” conditions. Conical weights form a saturated class, and th...

This paper takes it as a premise that a distinction between matters of fact and of law is important in the causal inquiry. But it argues that separating factual and legal causation as different elements of liability is not the best way to implement the fact/law distinction. It is partly a legal question what counts as a cause-in-fact; and certain liabilitylimiting doctrines under the umbrella o...

One of the most controversial aspects of globalization is capital-market liberalization—not so much the liberalization of rules governing foreign direct investment, but those affecting short-term capital flows, speculative hot capital that can come into and out of a country. In the 1980s and 1990s, the IMF and the US Treasury tried to push capital-market liberalization around the world, encount...

That our mental lives are not transparent to us is one of the few Freudian doctrines that has been robustly confirmed by subsequent psychological research. Nevertheless, much work in the philosophy of language, as well as formal work in economics and computer science, assumes various “iteration principles” that can seem to conflict with this psychological truism. By “iteration principles” I hav...