http://arxiv.org/abs/1609.01493"/> Axiomatizing Category Theory in Free Logic (bibtex)
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), In arXiv, http://arxiv.org/abs/1609.01493, 2016.
Bibtex Entry:
@article{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},
  Journal =	 {arXiv, \url{http://arxiv.org/abs/1609.01493}},
  Url =		 {http://arxiv.org/abs/1609.01493},
  Year =	 2016
}
Powered by bibtexbrowser