Faithin Omaha eBook Collection

Publisher Description

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat

A graduate-level textbook that presents basic topology from the perspective of category theory. This graduate-level textbook on topology takes a unique approach

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework ess

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from th