|
using System;
using System.Collections.Generic;
using System.Text;
namespace CategoryTheory
{
/// <summary>
/// Category with direct sum
/// </summary>
public interface IDirectSumCategory : ICategory
{
/// <summary>
/// Gets direct sum
/// </summary>
/// <param name="objects">Objects</param>
/// <param name="arrows">Arrows from objects to sum</param>
/// <returns>The direct sum</returns>
ICategoryObject GetDirectSum(IList<ICategoryObject> objects, IList<ICategoryArrow> arrows);
/// <summary>
/// Gets arrow from direct sum
/// </summary>
/// <param name="target">Arrow target</param>
/// <param name="sum">Direct sum</param>
/// <param name="arrows">Arrows from objects</param>
/// <returns>Arrow from direct sum</returns>
ICategoryArrow GetArrowFromDirectSum(ICategoryObject target, ICategoryObject sum, 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