What people are saying - Write a review
We haven't found any reviews in the usual places.
Basic Concepts of Category Theory
Monoids and Groups
Metric and Topological Spaces
2 other sections not shown
abelian monoid Abm-structure admissible algebra arbitrary arrows axioms bijection C-structure called category of sets category theory Chapter codomain coequalizer cofree colimit commutative diagram composition consider construction coproduct defined DEFINITION denote disjoint union dual dynamorphism element epimorphism equalizers equivalence relation example exercise exists a unique finite forgetful functor function given Hint identity image factorization system implies inverse isomorphism left adjoint linear maps Lipschitz maps Metl metric spaces minimal realization monad monoid homomorphism monoidal category monomorphism morphism natural transformation OBSERVATION one-to-one optimal order-preserving pair phism poset preserves products proof PROPOSITION Prove pullback q in Q Q X X0 QXX0 reachability reader respect to G right adjoint satisfies Section sequential machines Setop sets with structure Show solution set subset subspace T-algebra topological spaces topology V-category Vect vector space Verify