MKL
범주,category 범주론,category_theory 대상,object 사상,morphism 대수구조,algebraic_structure(is_a 대수학,algebra 대수,algebra 구조,structure)
합성,composition

initial_object =,initial_object . initial_object
https://mathworld.wolfram.com/InitialObject.html
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

final_object x 2024-02-17
terminal_object o

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

//이상 둘 Twins:
시작_대상과_끝_대상
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에는
NullObject = https://wiki.c2.com/?NullObject

https://encyclopediaofmath.org/wiki/Null_object_of_a_category

2023-12-20

null_object = https://en.wiktionary.org/wiki/null_object
zero_object = https://en.wiktionary.org/wiki/zero_object
}

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

subobject ?

subobject ? iiiiiiiiggggggggg

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

} // subobject ... subobject

quotient_object =,quotient_object =,quotient_object . quotient_object
{
quotient object

몫대상 (wpko)

몫,quotient 대상,object

MKLINK quotient_category

quotient_object = https://en.wiktionary.org/wiki/quotient_object x 2023-11-18

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

"quotient object"
... quotient object quotient object
}

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

exponential_object = power_object
{
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
수학적_대상
= https://ko.wikipedia.org/wiki/수학적_대상
Mathematical_object
= https://en.wikipedia.org/wiki/Mathematical_object

"mathematical object"
mathematical object
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

object의 다른 뜻
컴퓨터 프로그래밍, OOP 쪽에서 object는 객체,object. 컴파일러 쪽에서 object_file은 컴파일만 된 것. 목적파일 정도로 번역?
오브젝트,object page 만들기로. 2023-08-12
{
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)
Up:
추상대수,abstract_algebra? 범주론,category_theory? 범주,category?