An embedding of groupoids and monomorphisms into simple groupoids

91

92

93

94

95

96

97

98