%0 Journal Article %1 journals/afp/Stark16 %A Stark, Eugene W. %D 2016 %J Archive of Formal Proofs %K dblp %T Category Theory with Adjunctions and Limits. %U http://dblp.uni-trier.de/db/journals/afp/afp2016.html#Stark16 %V 2016

@article{journals/afp/Stark16, added-at = {2019-01-07T00:00:00.000+0100}, author = {Stark, Eugene W.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/205e6666fe8b30678ee17bf2445febe84/dblp}, ee = {https://www.isa-afp.org/entries/Category3.shtml}, interhash = {50f9cddd737bf7afb24554ddc1a3a639}, intrahash = {05e6666fe8b30678ee17bf2445febe84}, journal = {Archive of Formal Proofs}, keywords = {dblp}, timestamp = {2019-09-27T11:28:54.000+0200}, title = {Category Theory with Adjunctions and Limits.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2016.html#Stark16}, volume = 2016, year = 2016 }