- Full text PDF available (9)
- This year (0)
- Last five years (3)
PURPOSE To determine why, despite growing evidence that radiologists and referring physicians prefer structured reporting (SR) to free text (FT) reporting, SR has not been widely adopted in most radiology departments. METHODS A focus group was formed consisting of 11 radiology professionals from eight countries. Eight topics were submitted for discussion.… (More)
We prove that the monoidal 2-category of cospans of ordinals and sur-jections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain 2-dimensional separable algebra condition.
We prove that the monoidal 2-category of cospans of finite linear orders and surjections is the universal monoidal category with an object X with a semigroup and a cosemigroup structures, where the two structures satisfy a certain 2-dimensional separable algebra condition.
An unpublished result by the first author states that there exists a Hopf algebra H such that for any Möbius category C (in the sense of Leroux) there exists a canonical algebra morphism from the dual H * of H to the incidence algebra of C. Moreover, the Möbius inversion principle in incidence algebras follows from a 'master' inversion result in H *. The… (More)
Let E be a cocomplete topos. We show that if the exact completion of E is a topos then every indecomposable object in E is an atom. As a corollary we characterize the locally connected Grothendieck toposes whose exact completions are toposes. This result strengthens both the Lawvere–Schanuel characterization of Boolean presheaf toposes and Hofstra's… (More)
A pre-cohesive geometric morphism p : E → S satisfies Continuity if the canonical p ! (X p * S) → (p ! X) S is an iso for every X in E and S in S. We show that if S = Set and E is a presheaf topos then, p satisfies Continuity if and only if it is a quality type. Our proof of this characterization rests on a related result showing that Continuity and… (More)
We introduce an apparent strengthening of Sufficient Cohesion that we call stable Connected Codiscreteness (SCC) and show that if p : E → S is cohesive and satisfies SCC then the internal axiom of choice holds in S. Moreover, in this case,
Many categories of interest arise as exact completions of a left exact category. For example, for every small left exact category C, the presheaf topos Sets C op is an exact completion . Realizability toposes are also examples . More recently, in computer science there has been a lot of interest in the exact completion of the category of topological… (More)