(higher) category theory and physics
state, configuration space;
propagation
Lagrangian mechanics?
Axiomatizations
Tools
Models
Phenomena
Types of quantum field thories
An orientifold is a background for string sigma-models that combines aspects of -orbifolds with orientation reversal on the worldsheet (therefore the name): it consists of a bundle gerbe on a space with a -action that satisfies a peculiar twisted equvariance condition with respect to this action.
Such orientifold gerbes with connection are the right structure for the definition of surface holonomy of unoriented surfaces. Therefore they serve for defining the gauge part of the action functional for unoriented strings.
More precisely, the gauge fields that constiture the background for a string -model, such as the Kalb-Ramond field and the RR-fields are modeled as cocycles in the differential cohomology of the target space, and an orientifold is the data given by an orbifold spacetime that involves the group and equipped with certain classes in its( twisted) differential cohomology that is suitably -equivariant.
A definition and study of orientifold bundle gerbes, modeling the Kalb-Ramond field, is in
Urs Schreiber, Christoph Schweigert, Konrad Waldorf, Unoriented WZW models and Holonomy of Bundle Gerbes (arXiv)
Krzysztof Gawedzki, Rafal R. Suszek, Konrad Waldorf, Bundle Gerbes for Orientifold Sigma Models (arXiv)
A more encompassing formalization in terms of differential cohomology in general and twisted differential K-theory in particular that also takes the spinorial degrees of freedom into account is being announced in
A summary talk on this is
A formulation of some of the relevant aspects of orientifolds in terms of the differential nonabelian cohomology with coefficients in the 2-group coming from the crossed module is indicated in