#noindex
MKL
[[범주,category]] [[범주론,category_theory]] '''대상,object''' [[사상,morphism]] [[대수구조,algebraic_structure]](is_a [[대수학,algebra]] [[대수,algebra]] [[구조,structure]])
 대상 ~= 
 사상 ~= [[화살,arrow]] [[화살표,arrow]] [[맵,map]] [[매핑,mapping]] [[함수,function]]
[[합성,composition]]
----
[[initial_object]] =,initial_object . initial_object
https://mathworld.wolfram.com/InitialObject.html
WtEn:initial_object ? jjjjjjjj

final_object / terminal_object
[[final_object]] =,final_object . final_object
[[terminal_object]] =,terminal_object . terminal_object
{
'''final object'''
'''terminal object'''

https://mathworld.wolfram.com/TerminalObject.html
https://encyclopediaofmath.org/wiki/Final_object

WtEn:final_object x [[Date(2024-02-17T01:45:33)]]
WtEn:terminal_object o

MKL
[[끝,end]] [[엔드,end]]? [[터미널,terminal]] [[테일,tail]]?
}

//이상 둘 Twins:
WpKo:시작_대상과_끝_대상
WpEn:Initial_and_terminal_objects

[[모노이드대상,monoid_object]]

[[널대상,null_object]] [[영대상,zero_object]]
null_object / zero_object
=,null_object =,zero_object .
{
see [[영,zero]]
[[널,null]]

이건 CS의 null object 얘기인데, 수학에도 해당? 일단 c2에는
[[Wiki:NullObject]] = https://wiki.c2.com/?NullObject

https://encyclopediaofmath.org/wiki/Null_object_of_a_category

[[Date(2023-12-20T13:37:09)]]

[[WtEn:null_object]] = https://en.wiktionary.org/wiki/null_object
 １．　[[널대상,null_object]] - syn [[영대상,zero_object]]
 ２．　[[널객체,null_object]] - 아무것도 안하는 [[객체,object]], null 대신에 쓰임. 

[[WtEn:zero_object]] = https://en.wiktionary.org/wiki/zero_object
 [[영대상,zero_object]] 얘기

}

[[subobject]] =,subobject =,subobject . subobject
{
부분대상 (wpko)

KmsE:subobject ?

WtEn:subobject ? iiiiiiiiggggggggg

https://encyclopediaofmath.org/wiki/Subobject - ''of an object in a category''
https://ncatlab.org/nlab/show/subobject

} // subobject ... Ggl:subobject

[[quotient_object]] =,quotient_object =,quotient_object . quotient_object
{
'''quotient object'''

몫대상 (wpko)

[[몫,quotient]] [[대상,object]]

MKLINK [[quotient_category]]

WtEn:quotient_object = https://en.wiktionary.org/wiki/quotient_object x [[Date(2023-11-18T07:41:42)]]

https://encyclopediaofmath.org/wiki/Quotient_object - ''of an object in a category''
https://ncatlab.org/nlab/show/quotient+object

"quotient object"
... Ndict:quotient+object Google:quotient+object
}

// 위 둘 : see [[WpKo:부분_대상과_몫_대상]] 

[[exponential_object]] = [[power_object]]
{
[[WpEn:Exponential_object]]
 = https://en.wikipedia.org/wiki/Exponential_object
}

[[free_object]]
{
자유대상 (wpko)

// wpen
abstract_algebra 의 기본 [[개념,concept]]. 이 개념은 보편대수[[universal_algebra]]의 일부.

https://ncatlab.org/nlab/show/free+object
free+object
}


----
이상 추상대수의 object.
그리고 수학 전반에 적용되는 좀더 일반적인? 뜻 이하.

[[mathematical_object]]
수학적대상 mathematical_object
{
mathematical object

수학적대상 
수학대상 - 은 좀 이상.

https://en.wiktionary.org/wiki/mathematical_object
 x [[Date(2023-11-18T07:41:42)]] - 2008년 삭제되고 아직도 entry 없음

[[WpKo:수학적_대상]]
= https://ko.wikipedia.org/wiki/수학적_대상
[[WpEn:Mathematical_object]]
= https://en.wikipedia.org/wiki/Mathematical_object

"mathematical object"
Ggl:"mathematical object"
Bing:"mathematical object"

Up: 추상적대상 abstract_object
}

[[abstract_object]]
추상적대상 abstract_object
추상대상 ?
{
https://en.wikipedia.org/wiki/Abstract_and_concrete (Redirected from Abstract object)
corresp. ko interwiki:
https://ko.wikipedia.org/wiki/추상과_구체
opp. 구체적대상 concrete_object
}

constructive_object =,constructive_object . constructive_object
구성적 대상 ?
https://encyclopediaofmath.org/wiki/Constructive_object

algebraic_object =,algebraic_object . algebraic_object
{
'''algebraic object'''
대수적 대상

Sub:
[[텐서,tensor]][* "a tensor is an algebraic object that..." WpEn:Tensor]

WtEn:algebraic_object x 2024-04
} // algebraic object ... Ggl:"algebraic object" Bing:"algebraic object"

----
object의 다른 뜻
컴퓨터 프로그래밍, OOP 쪽에서 object는 [[객체,object]]. 컴파일러 쪽에서 object_file은 컴파일만 된 것. 목적파일 정도로 번역?
[[오브젝트,object]] page 만들기로. [[Date(2023-08-12T14:55:10)]]
{
'''object''' 대세 번역어는
 * OO/OOP 쪽에서는 [[객체,object]]으로 굳어져 있고
 * [[범주론,category_theory]]에서는 [[대상,object]] ([[type_theory]], [[타입,type]], [[functional_programming]]과 밀접하므로 '''object'''의 프로그래밍 쪽에서의 번역 용어 통일은 불가능해 보임)
 * compiler/linker(build_system ?) 쪽에서는 [[목적,object]]이 최선인 듯. ex. [[목적코드,object_code]] [[목적파일,object_file]]
 보통 binary와 매우 비슷한 뜻인데(다만 차이점은, 항상은 아니지만 뉘앙스가, binary는 executable, object는 not yet executable)
}

Twins:
https://mathworld.wolfram.com/Object.html

https://proofwiki.org/wiki/Definition:Object
[[https://proofwiki.org/wiki/Definition:Object_(Category_Theory)]]
 = https://proofwiki.org/wiki/Definition:Object_%28Category_Theory%29

Up:
[[추상대수,abstract_algebra]]? [[범주론,category_theory]]? [[범주,category]]?