Search Results - Formal equivalence

Proofs 101 : an introduction to formal mathematics / by Kirtland, Joseph (Mathematics professor)

Taylor & Francis
OCLC metadata license agreement

An Introduction to Groups, Groupoids and Their Representations by Ibort, Alberto

Table of Contents: “…5.2 An interlude: Categories and databases5.2.1 A simple database: Classes and courses; 5.2.2 Databases and functors; 5.3 Homomorphisms of groupoids; 5.3.1 Homomorphisms of groupoids: Basic notions; 5.3.2 Exact sequences of homomorphisms of groupoids; 5.3.3 Homomorphisms of groupoids, direct unions and products of groupoids; 5.3.4 Groupoids of automorphisms; 5.4 Equivalence: Natural transformations; 5.4.1 Equivalence of categories; 5.4.2 The notion of natural transformation; 6. …”
Taylor & Francis
OCLC metadata license agreement