Copyright © 2025 Authors retain the copyright of this article. This article is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

@article{172569,
        author = {NANDINI C S and SHEELA S V},
        title = {Categorical Logic: A Bridge Between Logic and Abstract Algebra},
        journal = {International Journal of Innovative Research in Technology},
        year = {2025},
        volume = {6},
        number = {10},
        pages = {425-429},
        issn = {2349-6002},
        url = {https://ijirt.org/article?manuscript=172569},
        abstract = {This paper explores the connection between logic and abstract algebra through categorical logic, using category theory to unify these areas. It examines key concepts such as adjoint functors, Cartesian closed categories and dualities, showing how they link logical systems with algebraic structures. The paper also discusses applications in lambda calculus, Boolean algebras and Stone spaces, showing how categorical logic suggestions respected understandings into the interplay between logic, algebra and computation.},
        keywords = {Categorical logic, abstract algebra, category theory, adjoint functors, algebraic logic, model theory},
        month = {January},
        }