The Coq mailing list

[monde wilson <wilsonmonde AT gmail.com>]

is there an example to use colimit to construct new object from old object?

is there an example to use adjunct

i am new to Coq, if object can be algebra function, group, space, it had better to read

as i know colimit is just reverse the arrow of limit which is to find a extra object map to existing diagram