Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
have hyperlinked more of the technical terms, such as equivalence relation and hom-category
Added references:
Ieke Moerdijk, Path-lifting for Grothendieck Toposes , Proc. AMS 102 no.2 (1988) pp.2424-248.
Ieke Moerdijk, An Addendum to “Path-lifting for Grothendieck Toposes” , Proc. AMS 125 no.9 (1997) pp.2815-2818.
added doi:10.2307/2045869
1 to 6 of 6