@book{takeuti_introduction_1971,
	address = {Heidelberg},
	title = {Introduction to {Axiomatic} {Set} {Theory}},
	isbn = {0-387-05302-6},
	publisher = {Springer-Verlag},
	author = {Takeuti, Gaisi and Zaring, Wilson M.},
	year = {1971},
}
@book{etingof_tensor_2015,
	address = {Providence},
	series = {Mathematical {Surveys} and {Monographs}},
	title = {Tensor {Categories}},
	isbn = {978-1-4704-2024-6},
	number = {205},
	publisher = {American Mathematical Society},
	author = {Etingof, Pavel I. and Gelaki, Shlomo and Nikshych, Dmitri and Ostrik, Victor},
	year = {2015},
	keywords = {\$K\$-theory -- Higher algebraic \$K\$-theory -- Symmetric monoidal categories, Algebraic topology, Associative rings and algebras -- Hopf algebras, quantum groups and related topics -- Hopf algebras and their applications, Category theory; homological algebra -- Categories with structure -- Monoidal categories (= multiplicative categories), symmetric monoidal categories, braided categories, Group theory and generalizations -- Linear algebraic groups and related topics -- Quantum groups (quantized function algebras) and their representations, Hopf algebras, Nonassociative rings and algebras -- Lie algebras and Lie superalgebras -- Quantum groups (quantized enveloping algebras) and related deformations, Tensor fields},
}
@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},
}
@inproceedings{feferman_set-theoretical_1969,
	address = {Heidelberg},
	series = {Lecture {Notes} in {Mathematics}},
	title = {Set-{Theoretical} {Foundations} of {Category} {Theory}},
	booktitle = {Reports of the {Midwest} {Category} {Seminar} {III}},
	publisher = {Springer},
	author = {Feferman, Solomon and Kreisel, Georg},
	editor = {Barr, M. and Berthiaume, P. and Day, B. J. and Duskin, J. and Feferman, S. and Kelly, G. M. and Mac Lane, S. and Tierney, M. and Walters, R. F. C.},
	year = {1969},
	keywords = {Abelian Group, Category Theory, Closure Condition, Free Variable, Mathematical Practice},
	pages = {201--247},
}
@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},
	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},
}
@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},
}
@incollection{coecke_survey_2010,
	address = {Heidelberg},
	title = {A {Survey} of {Graphical} {Languages} for {Monoidal} {Categories}},
	volume = {813},
	isbn = {978-3-642-12820-2},
	booktitle = {New {Structures} for {Physics}},
	publisher = {Springer},
	author = {Selinger, Peter},
	editor = {Coecke, Bob},
	year = {2010},
	pages = {289--355},
}
@article{milehins_category_2021,
	title = {Category {Theory} for {ZFC} in {HOL} {I}: {Foundations}: {Design} {Patterns}, {Set} {Theory}, {Digraphs}, {Semicategories}},
	journal = {Archive of Formal Proofs},
	author = {Milehins, Mihails},
	year = {2021},
}
