@Article{Try92-JFM, Author = "Trybulec, A.", Year = "1992", Title = "{Some Isomorphisms Between Functor Categories}", Journal = "Journal of Formalized Mathematics", Volume = "3", Number = "1", Pages = "33-40", Comment = "TPTPRef,ISOCAT_2" }