‘Intimacy as method’: Ethnographic reflections on equitable knowledge production in migration research

Despite the ongoing ‘reflexive turn’ in migration studies, intimacy continues to be cropped out of methodologies. This article explores how intimacy can enable us to produce knowledge in a way that is grounded in and sensitive to our participants’ lives. We reflect on our experiences of building intimacy during our two respective ethnographic projects. While one project analyses the solidarity practices of citizens and migrants at the Franco–Italian border, the other explores the experiences of a Romanian family in London. Although researching seemingly divergent topics, we find methodological convergences and come together to propose the concept of ‘intimacy as method’. Positionality is central to intimacy, as who we are as early-career female researchers shaped how we built intimate and caring relationships with our participants. Cultivating intimacy, however, also presented challenges, including ethical considerations in how we conduct research, and how we represent our interlocutors and engage them in knowledge production. In sitting with the discomfort which is central to intimacy, we found its analytical potential as it granted us novel insights into our participants’ lives. By reflecting on both the potential and challenges of intimacy, we argue that migration researchers can use ‘intimacy as method’ to conduct more equitable research in migration studies

Towards a praxis of care in post-pandemic fieldwork: Comparing ethnographic encounters during Covid-19

The Covid-19 pandemic has highlighted the importance of ensuring the wellbeing of both researchers and participants throughout the research process. In this paper, we argue that in order to produce caring research, the wellbeing of researchers must not be neglected. Using our experiences as three doctoral researchers undertaking ethnographic fieldwork during the pandemic, we consider what it means to do research which has a ‘praxis of care’ at its core. By consciously embedding care into the research process, we argue that we can work towards research that prioritises multiple modes of care and compassion. To demonstrate this, we present and reflect on our three related, but individual experiences as ongoing case studies. Grounding our own research encounters within broader literature focused on self-care in early career research alongside feminist perspectives, we ask the following questions: In the pursuit of knowledge, what does taking a step back to care for ourselves look like? How can we plan fieldwork which operates without harm for both researcher and participant? Finally, we contemplate what fieldwork with an epistemological commitment to ‘care’ for both researchers and participants could look like and propose some practical recommendations for incorporating a praxis of care throughout the research process

Simplified Coalgebraic Trace Equivalence

The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called linear-time/branching-time spectrum, from fine-grained equivalences such as strong bisimilarity to coarse-grained ones such as trace equivalence. The theory of concurrent systems at large has benefited from developments in coalgebra, which has enabled uniform definitions and results that provide a common umbrella for seemingly disparate system types including non-deterministic, weighted, probabilistic, and game-based systems. In particular, there has been some success in identifying a generic coalgebraic theory of bisimulation that matches known definitions in many concrete cases. The situation is currently somewhat less settled regarding trace equivalence. A number of coalgebraic approaches to trace equivalence have been proposed, none of which however cover all cases of interest; notably, all these approaches depend on explicit termination, which is not always imposed in standard systems, e.g. LTS. Here, we discuss a joint generalization of these approaches based on embedding functors modelling various aspects of the system, such as transition and braching, into a global monad; this approach appears to cover all cases considered previously and some additional ones, notably standard LTS and probabilistic labelled transition systems

Asymmetric Combination of Logics is Functorial: A Survey

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective—that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questions. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations

Logics for contravariant simulations

Covariant-contravariant simulation and conformance simulation are two generalizations of the simple notion of simulation which aim at capturing the fact that it is not always the case that “the larger the number of behaviors, the better”. Therefore, they can be considered to be more adequate to express the fact that a system is a correct implementation of some specification. We have previously shown that these two more elaborated notions fit well within the categorical framework developed to study the notion of simulation in a generic way. Now we show that their behaviors have also simple and natural logical characterizations, though more elaborated than those for the plain simulation semantics

Positive solutions for nonlinear singular elliptic equations of p-Laplacian type with dependence on the gradient

In this paper, we study a nonlinear Dirichlet problem of p-Laplacian type with combined effects of nonlinear singular and convection terms. An existence theorem for positive solutions is established as well as the compactness of solution set. Our approach is based on Leray-Schauder alternative principle, method of sub-supersolution, nonlinear regularity, truncation techniques, and set-valued analysis