Çaprazlanmış modüllerin kategorisinde iç kategoriler üzerine

Gruplar homotopi tipi 1 olan irtibatlı topolojik uzayların bir cebirsel modeli iken, çaprazlanmış modüller ise homotopi tipi 2 olan irtibatlı topolojik uzayların bir cebirsel modelidir. Çaprazlanmış modüller ilk olarak Whitehead tarafından tanımlanmışlardır. Daha sonra, Brown ve Spencer gruplar üzerindeki çaprazlanmış modüllerin kategorisi ile grupların kategorisindeki iç grupoidlerin (diğer adıyla grup-grupoidlerin) kategorisinin denk olduğunu göstermişlerdir. Bu tez çalışmasında benzer düşünce yapısı ile önce çaprazlanmış modüllerin kategorisindeki iç kategoriler karakterize edilip bunların aslında birer iç grupoid olduğu gösterilmiştir. Son olarak ise çaprazlanmış kare olarak adlandırılan çaprazlanmış modüllerin üzerindeki çaprazlanmış modüllerin kategorisinin çaprazlanmış modüllerin kategorisindeki iç grupoidlerin kategorisine denk olduğu gösterilmiştir.