Axiomatizing Category Theory in Free Logic (bibtex)
by Christoph Benzmüller, Dana S. Scott
Reference:
Axiomatizing Category Theory in Free Logic (Christoph Benzmüller, Dana S. Scott), Technical report, CoRR, 2016. (http://arxiv.org/abs/1609.01493)
Bibtex Entry:
@techreport{R58,
  Author =	 {Christoph Benzm{\"u}ller and Dana S. Scott},
  Keywords =	 {own, Automated Reasoning, Free Logic, Higher Order Logic,
                  Category Theory},
  Title =	 {Axiomatizing Category Theory in Free Logic},
  Institution =	 {CoRR},	
  note =	 {\url{http://arxiv.org/abs/1609.01493}},
  Url =		 {http://arxiv.org/abs/1609.01493},
  Year =	 2016
}
Powered by bibtexbrowser