Post #3023664

@sjoerd_visscher@types.pl @6d03@mathstodon.xyz A morphism is built from two pairs of objects (a, b) and (a', b') and a pair of arrows (u: a -> a', v: b -> b'). They have to satisfy a commuting square that uses lmap and rmap.