20 Feb
2014
20 Feb
'14
5:46 p.m.
Hello Vasili. I don't know if this is what you are looking for but I have some (very short) notes on arxiv about groupoid objects in categories. There, the idea is to avoid set theoretical considerations as far as possible. The link is http://arxiv.org/abs/1207.3694 Best regards, Luiz [For admin and other information see: http://www.mta.ca/~cat-dist/ ]