Reference. Categorical Logic and Type Theory [jacobs-2001-categorical]

@book{jacobs-2001-categorical,
	title = {Categorical Logic and Type Theory},
	author = {Jacobs, B.},
	number = {v. 141},
	isbn = {9780444508539},
	lccn = {98043478},
	series = {Categorical Logic and Type Theory},
	url = {https://books.google.com.tw/books?id=0hhyL4WG3ngC},
	year = {2001},
	publisher = {Elsevier Science}
}