모금 9월 15일 2024 – 10월 1일 2024
모금에 대해서
도서 검색
책
모금:
64.0% 도달
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Springer International Publishing
Ichiro Hasuo (eds.)
theorem
distributive
bisimulation
ϕ
category
monad
equations
functor
coalgebra
coalgebras
lemma
defined
lattice
categories
functors
coalgebraic
systems
definition
algebras
lσ
canonical
map
monads
diagram
lattices
define
consider
timed
duality
element
proposition
springer
function
coinductive
π2
contravariant
completeness
maps
product
variables
exists
logics
presentation
lncs
finite
continuous
relational
π1
coequations
adjunction
년:
2016
언어:
english
파일:
PDF, 7.62 MB
개인 태그:
0
/
0
english, 2016
2
A Study of Categories of Algebras and Coalgebras
Jesse Hughes
αi
theorem
ϕ
βi
coalgebras
algebras
category
functor
preserves
coalgebra
variety
map
categories
birkhoff
uα
initial
homomorphism
epis
adjoint
monos
define
corollary
coequation
monad
pullbacks
figure
eγ
dual
equations
factorizations
subobject
unique
pullback
suppose
bisimulation
subcoalgebra
diagram
γi
ρi
internal
birkhoff’s
bisimulations
forgetful
presentable
consider
limits
pγq
functors
commutes
theorems
년:
2001
언어:
english
파일:
PDF, 1.28 MB
개인 태그:
0
/
0
english, 2001
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×