Noncommutative algebraic models for fiber squares
In this paper a new notion of non-commutative algebraic models for spaces and maps is developped. This model works over any field. The authors define a class of maps called twisted extensions that are models for topological fibrations. And they use these twisted extensions to give an explicit model for the pullback of the fiber square.
scientific article; zbMATH DE number 1337006