Those accepted into this program will receive a flat rate transportation allowance for the summer conference, and will be partially supported for their participation in the Joint Mathematics Meetings which follow in January 2023.

ELIGIBILITY: Individuals within one to two years prior to the receipt of their PhDs, and up to five years after receipt of their PhDs, are welcome to apply.  Most of those supported by NSF funds to participate in the MRC program will be US-based, that is, employed by or a full-time student at a US institution at the time of the MRC summer conference. However, the terms of the grant allow for a limited number of individuals who are not US-based. A few international participants may be accepted. Depending on space and other factors, a small number of participant slots may be available for self-funders. Applicants wishing to be considered as possible self-funded participants should email ams-mrc@ams.org at the time they apply and state that intention. Self-funders must satisfy the same criteria for admission as those who receive grant support. Individuals who have once previously been an MRC participant will be considered for admission, and their applications must include a rationale for repeating. Please note that individuals cannot participate in the MRC program more than twice. Applications from individuals who have twice been MRC participants will not be considered. Women and underrepresented minorities are especially encouraged to apply.  All participants are expected to be active in the full MRC program.

For any program, fellowship, prize or award that has a maximum period of eligibility after receipt of the doctoral degree, the selection committee may use discretion in making exceptions to the limit on eligibility for candidates whose careers have been interrupted for reasons such as family or health. Therefore, an applicant who has had to slow down or temporarily stop his or her career for personal reasons may request to be considered for an extension in the amount of time after the PhD degree. Please send exception requests to ams-mrc@ams.org.

REQUIREMENTS:

• Completed on-line application form
  
• One (1) reference letter submitted by a professor or supervisor who knows the applicant and can address how the applicant will benefit from, and contribute to, the MRC program.

Applications will close at 11:59 p.m. Eastern Time on Tuesday, February 15, 2022. Note that all applicants will be notified of their status by May 1, 2022.

Week 1a: May 29-June 4, 2022 -- Applied Category Theory

Organizers:
John Baez, University of California, Riverside
Simon Cho, Two six Technologies
Daniel Cicata, University of New Haven
Nina Otter, Queen Mary University of London
Valeria de Paiva, Topos Institute

Applied category theory is an emerging field of study focused on the discovery and development of real-world applications of category theory. Until recently, category theory has been used as an abstract framework to relate structure underlying collections of mathematical objects and is used as such by algebraic geometers, homotopy theorists, and logicians. It is rapidly becoming clear that these features of category theory also make it an ideal framework with which to analyze systems of interest across disparate applied contexts. Recent examples include systems engineering, epidemiological models, database theory, distributed systems, and game theory. This MRC will provide a focused long-term agenda for early-career mathematicians in the US interested in applying category theoretic approaches to studying real-world problems. Applicants from academia and industry are welcome.

During the workshop, we intend to focus on three specific areas of application. John Baez (University of Riverside) will lead a study of chemical reaction networks using category theoretic methods. Valeria de Paiva (Topos Institute) will lead a study in the context of computer science by looking into indexed containers and partial compilers using lenses and Dialectica Categories. Nina Otter (Queen Mary University of London) will lead a study of social networks using simplicial complexes.