using System;
using System.Collections.Generic;
using System.Text;

namespace CategoryTheory
{
    /// <summary>
    /// The object of a math category
    /// </summary>
    public interface ICategoryObject : IAssociatedObject
    {

        /// <summary>
        /// The category of this object
        /// </summary>
        ICategory Category
        {
            get;
        }

        /// <summary>
        /// The identical arrow of this object
        /// </summary>
        ICategoryArrow Id
        {
            get;
        }

    }
}
