Homotopy Type Theory representably concrete category > history (Rev #1)

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 April 25, 2022 at 17:36:57 by Anonymous?. See the history of this page for a list of all contributions to it.