Harrison Hall is an academic building on the campus of Miami University housing the Department of Political Science and the Center for Public Management and Regional Affairs. It replaced an earlier building on the site built in 1818 and demolished in 1958. The original building was first named Franklin Hall and became known as Old Main. It was officially renamed to Harrison Hall in 1931 after the 23rd President of the United States Benjamin Harrison. Given a list of categories: company, educational institution, artist, athlete, office holder, mean of transportation, building, natural place, village, animal, plant, album, film or written work, what category does the paragraph belong to?
A:
Building