@book{hungerford_algebra_2003,
	address = {New York},
	title = {Algebra},
	isbn = {978-0-387-90518-1},
	publisher = {Springer},
	author = {Hungerford, Thomas W.},
	year = {2003},
}
@misc{noauthor_wikipedia_2001,
	title = {Wikipedia},
	url = {https://www.wikipedia.org/},
	year = {2001},
}
@book{mac_lane_categories_2010,
	address = {New York},
	edition = {2},
	series = {Graduate {Texts} in {Mathematics}},
	title = {Categories for the {Working} {Mathematician}},
	isbn = {978-1-4419-3123-8},
	number = {5},
	publisher = {Springer},
	author = {Mac Lane, Saunders},
	year = {2010},
}
@article{paulson_zermelo_2019,
	title = {Zermelo {Fraenkel} {Set} {Theory} in {Higher}-{Order} {Logic}},
	journal = {Archive of Formal Proofs},
	author = {Paulson, Lawrence C.},
	year = {2019},
}
@misc{noauthor_nlab_nodate,
	title = {{nLab}},
	url = {https://ncatlab.org/nlab/show/HomePage},
}
@book{bodo_categories_1970,
	address = {New York},
	title = {Categories and {Functors}},
	publisher = {Academic Press},
	author = {Bodo, Pareigis},
	year = {1970},
}
@incollection{barkaoui_partizan_2006,
	address = {Berlin},
	title = {Partizan {Games} in {Isabelle}/{HOLZF}},
	volume = {4281},
	isbn = {978-3-540-48815-6},
	booktitle = {{ICTAC} 2006},
	publisher = {Springer},
	author = {Obua, Steven},
	editor = {Barkaoui, Kamel and Cavalcanti, Ana and Cerone, Antonio},
	year = {2006},
	pages = {272--286},
}
@article{paulson_natural_1986,
	title = {Natural {Deduction} as {Higher}-{Order} {Resolution}},
	volume = {3},
	doi = {10.1016/0743-1066(86)90015-4},
	number = {3},
	journal = {The Journal of Logic Programming},
	author = {Paulson, Lawrence C.},
	year = {1986},
	pages = {237--258},
}
@book{riehl_category_2016,
	title = {Category {Theory} in {Context}},
	publisher = {Emily Riehl},
	author = {Riehl, Emily},
	year = {2016},
	keywords = {Mathematics / Logic},
}
@techreport{lehner_all_2014,
	address = {Cambridge, MA},
	type = {Bachelor of {Arts} {Thesis}},
	title = {{\textquotedblleft}{All} {Concepts} are {Kan} {Extensions}{\textquotedblright}: {Kan} {Extensions} as the {Most} {Universal} of the {Universal} {Constructions}},
	institution = {Harvard College},
	author = {Lehner, Marina Christina},
	year = {2014},
}
@misc{haftmann_sketch-and-explore_2021,
	title = {Sketch-and-{Explore}},
	url = {https://isabelle.in.tum.de/library/HOL/HOL-ex/Sketch_and_Explore.html},
	author = {Haftmann, Florian},
	year = {2021},
}
@article{kan_adjoint_1958,
	title = {Adjoint {Functors}},
	volume = {87},
	number = {2},
	journal = {Transactions of the American Mathematical Society},
	author = {Kan, Daniel M.},
	year = {1958},
	pages = {294--329},
}
@article{milehins_category_2021,
	title = {Category {Theory} for {ZFC} in {HOL} {II}: {Elementary} {Theory} of 1-{Categories}},
	journal = {Archive of Formal Proofs},
	author = {Milehins, Mihails},
	year = {2021},
}
@book{awodey_category_2010,
	address = {Oxford, UK},
	title = {Category {Theory}},
	isbn = {978-0-19-958736-0},
	publisher = {Oxford University Press},
	author = {Awodey, Steve},
	year = {2010},
	keywords = {Mathematics / Algebra / Abstract, Mathematics / Logic, Mathematics / History \& Philosophy, Philosophy / Logic, Mathematics / Functional Analysis},
}
