## References * [nforum: Segal condition]( http://nforum.mathforge.org/discussion/3740/segal-condition/#Item_3) * [[nLab:category object in an (infinity,1)-category]] * [[nLab:(infinity,n)-category with adjoints]] * [[nLab:blob n-category]] * [[nLab:David Ayala|Ayala]] [[nLab:Nick Rozenblyum|Rozenbluym]] * [ncafé:directed homotopy type theory](http://golem.ph.utexas.edu/category/2012/06/directed_homotopy_type_theory.html)