|
using System;
using System.Collections.Generic;
using System.Text;
namespace CategoryTheory
{
/// <summary>
/// Category with direct product
/// </summary>
public interface IDirectProductCategory : ICategory
{
/// <summary>
/// Gets direct product
/// </summary>
/// <param name="objects">List of objects</param>
/// <param name="arrows">List of arrows to objects</param>
/// <returns>Direct product</returns>
ICategoryObject GetDirectProduct(IList<ICategoryObject> objects, IList<ICategoryArrow> arrows);
/// <summary>
/// Gets arrow to direct product
/// </summary>
/// <param name="source">Source</param>
/// <param name="product">Direct product</param>
/// <param name="arrows">Arrows to product components</param>
/// <returns>Arrow to product</returns>
ICategoryArrow GetArrowToDirectProduct(ICategoryObject source, ICategoryObject product, IList<ICategoryArrow> arrows);
}
}
|
By viewing downloads associated with this article you agree to the Terms of Service and the article's licence.
If a file you wish to view isn't highlighted, and is a text file (not binary), please
let us know and we'll add colourisation support for it.
Ph. D. Petr Ivankov worked as scientific researcher at Russian Mission Control Centre since 1978 up to 2000. Now he is engaged by Aviation training simulators http://dinamika-avia.com/ . His additional interests are:
1) Noncommutative geometry
http://front.math.ucdavis.edu/author/P.Ivankov
2) Literary work (Russian only)
http://zhurnal.lib.ru/editors/3/3d_m/
3) Scientific articles
http://arxiv.org/find/all/1/au:+Ivankov_Petr/0/1/0/all/0/1