1,391 research outputs found
Growing up in a mainstream world: a retrospective enquiry into the childhood experiences of young adults with a physical disability.
Children with disabilities are at greater risk of developing mental health problems than their peers, yet the emotional well-being of this group is largely overlooked and there is scant literature about children with a mobility disability. This study examined the retrospective experiences of growing up with mobility disability. The sample comprised of 16-25 year olds with mobility disability. A thematic analysis, informed by grounded theory was used. Themes identified included a common socio educational journey, conflict between care and independence in school and the impact of being singled out because of disability out side school. The result was a range of psycho-social issues that affected participants view of themselves and the world around them. The study also looked at what the participants found helpful in dealing with the emotional impact of their disability. Whilst some sought help through talking therapies, others found involvement in disability sport was helpful
Displayed Categories
We introduce and develop the notion of *displayed categories*.
A displayed category over a category C is equivalent to "a category D and
functor F : D --> C", but instead of having a single collection of "objects of
D" with a map to the objects of C, the objects are given as a family indexed by
objects of C, and similarly for the morphisms. This encapsulates a common way
of building categories in practice, by starting with an existing category and
adding extra data/properties to the objects and morphisms.
The interest of this seemingly trivial reformulation is that various
properties of functors are more naturally defined as properties of the
corresponding displayed categories. Grothendieck fibrations, for example, when
defined as certain functors, use equality on objects in their definition. When
defined instead as certain displayed categories, no reference to equality on
objects is required. Moreover, almost all examples of fibrations in nature are,
in fact, categories whose standard construction can be seen as going via
displayed categories.
We therefore propose displayed categories as a basis for the development of
fibrations in the type-theoretic setting, and similarly for various other
notions whose classical definitions involve equality on objects.
Besides giving a conceptual clarification of such issues, displayed
categories also provide a powerful tool in computer formalisation, unifying and
abstracting common constructions and proof techniques of category theory, and
enabling modular reasoning about categories of multi-component structures. As
such, most of the material of this article has been formalised in Coq over the
UniMath library, with the aim of providing a practical library for use in
further developments.Comment: v3: Revised and slightly expanded for publication in LMCS. Theorem
numbering change
Experimental determination of sound and high-speed flow interaction
A facility that was used to measure the interaction of flow with sound at high Mach numbers is described. Four inlets with different area variations (or axial gradients) were tested. Sound of selected frequencies and modes (0,0), (1,0), (2,0) was generated with eight circumferential acoustic drivers
- …