|
using System;
using System.Collections.Generic;
using System.Text;
namespace CategoryTheory
{
/// <summary>
/// Category with equalizer
/// </summary>
public interface IEqualizerCategory : ICategory
{
/// <summary>
/// Gets equalizer of two arrows
/// </summary>
/// <param name="arrow1">First arrow</param>
/// <param name="arrow2">Second arrow</param>
/// <returns>The equalizer</returns>
ICategoryArrow GetEqualizer(ICategoryArrow arrow1, ICategoryArrow arrow2);
/// <summary>
/// Gets arrow to equalizer
/// </summary>
/// <param name="equalizer">The qualizer</param>
/// <param name="arrow">Arrow to object</param>
/// <param name="arrowFromObject1">First arrow from object</param>
/// <param name="arrowFromObject2">Second arrow from object</param>
/// <returns></returns>
ICategoryArrow GetArrowToEqualizer(ICategoryArrow equalizer,
ICategoryArrow arrow, ICategoryArrow arrowFromObject1, ICategoryArrow arrowFromObject2);
}
}
|
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.
This article has no explicit license attached to it but may contain usage terms in the article text or the download files themselves. If in doubt please contact the author via the discussion board below.
A list of licenses authors might use can be found here
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