We show that for any type in Martin-Löf Intensional Type Theory, the terms of that type and its higher identity types form a weak ω-category in the sense of Leinster. Precisely, we construct a contractible globular operad PMLId of definable “composition laws”, and give an action of this operad on the terms of any type and its identity types.

the aim of this study was to model the effect of athletic identity on sport orientation in athletes participating in 11th sport olympiad of male students in iran. 400 students were selected as the sample of this study from 2130 students of population. sport orientation questionnaire (soq, gill et al., 1988, α=0.87) and the athletic identity questionnaire (cieslak, 2004, α=0.82) were used. the s...

in first stage it must notice the identity cri sis as pathological approach to identity and if pathogenesis. factor s would be distinguished, it will be assumed as basis for remedy the problems. in the record of iran historical identity we must study a period of 170 years ago. iranian approaches to the western civilization based on two different methods: a)reject attitude. and b)terrified attit...

Personally identifiable information (PII) affects individual privacy because PII combinations may yield unique identifications in published data. User PII such as age, race, gender, and zip code contain private information that may assist an adversary in determining the user to whom such information relates. Each item of user PII reveals identity differently, and some types of PII are highly id...

the purpose of current article is to study the effect of sense of place on creating the urban identity in new cities. in order to fulfill the mentioned purpose, the key concepts of research and the theories related to the issue were studied. according to it, in order to collect the data, library method and note taking tool were used. the studies indicated the presence of human in the environmen...

objective: acute inflammatory demyelinating peripheral neuropathy (guillain-barre-syndrome) is by far the most common cause of immune-medicated peripheral nervous system disease in children; with the near disappearance of poliomyelitis, gbs is responsible for the great majority of cases of acute flaccid paralysis. so far, in several controlled studies, corticosteroids, plasmapheresis and ivig h...

background: each group or profession has its own discourse. discourses create identity, support institutions and reproduce power relationships. professional identity of iranian nurses, which has recently had the opportunity to represent itself in social arena, needs investigation. this study aimed to make internal aspect of this identity clear. materials and methods: this study was conducted by...