Showing math.CTShow all
2 papers · 1 filter
math.CT2021
Higher Theories and Monads
Simon Henry, Nicholas J. Meadows
We extend Bourke and Garner's idempotent adjunction between monads and pretheories to the framework of -categories and we use this to prove many classical results about mon…
math.CT2018
Cocycles in Local Higher Category Theory
Nicholas Meadows
We develop a model structure on presheaves of small simplicially enriched categories on a site , for which the weak equivalences are 'stalkwise' weak equivalences for…