Homotopy Type Theory representably concrete category > history (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Contents

Definition

A representably concrete category CC is a concrete category such that there exists an object S:Ob(C)S:Ob(C) such that for morphisms f:Hom(A,B)f:Hom(A,B) and g:Hom(A,B)g:Hom(A,B), if fx=gxf \circ x = g \circ x for all morphisms x:Hom(S,A)x:Hom(S,A), then f=gf = g.

See also

Revision on May 18, 2022 at 11:24:46 by Anonymous?. See the history of this page for a list of all contributions to it.