processing...
home
items
higher algebra
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Higher Algebra
References
An Introduction to Higher Categorical Algebra. David Gepner. 2019.
Higher Algebra. Jacob Lurie. 2017.