Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
formal category theory (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(1/193)
Export
export all inquiry results
(2)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
p. 667-685
http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 2, displaying
1 - 2
keyword
193
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
assessment category
6.
bimonoidal category
7.
closed category
8.
cocomplete category
9.
cyclic category
10.
double category
11.
duplicial category
12.
free monoidal category
13.
Locally graded category
14.
monoidal category
15.
omega-category
16.
orbit category
17.
skew-monoidal category
18.
slice 2-category
19.
slice category
20.
symmetric monoidal category
21.
triangulated category
22.
2-category
23.
Automata, Formal Verification
24.
Formal
25.
formal and combined safety elements
26.
formal and informal
27.
formal concept analysis
28.
formal education
29.
formal ferification
30.
formal logic
31.
formal methods
32.
formal PMS
33.
formal rationality
34.
formal reasoning
35.
formal revolution
36.
formal semantics
37.
formal specification
38.
formal verification
39.
mandatory formal concepts
40.
non-formal education
41.
rigorous formal diagrammatic system
42.
top-K formal concepts
43.
a coherent theory of proofs
44.
activity theory
45.
adaptive structuration theory (AST)
46.
algebraic number theory
47.
algebraic theory
48.
algorithm design and theory
49.
beam theory
50.
bicategory theory
51.
catastrophe theory
52.
chaos theory
53.
coding theory
54.
cognitive theory
55.
commitment theory
56.
communication channels (information theory)
57.
complexity leadership theory
58.
complexity theory
59.
computation theory
60.
computer softwaregraph theory
61.
conservation of resources theory
62.
Consumer Culture Theory
63.
control theory
64.
Cooper-Helmstetter cell cycle theory
65.
cosmology: theory
66.
critical theory of technology
67.
cultural theory of international relations
68.
dark matter theory
69.
decision theory
70.
Dempster-Shafer theory
71.
Demster-Shafer Theory
72.
density functional theory
73.
density functional theory (DFT)
74.
dependent type theory
75.
design theory
76.
development theory
77.
Digital Government Theory: Development and Application
78.
dispersive theory
79.
domain theory
80.
ecological systems theory
81.
economic theory
82.
end of theory
83.
energetic impact theory
84.
evolutionary theory of policy capacity
85.
Flow theory
86.
fully nonlinear potential theory
87.
game theory
88.
general systems theory
89.
general theory of information transfer
90.
general vibration theory
91.
graph theory
92.
gravitational waves / theory
93.
grounded theory
94.
group theory
95.
group threat theory
96.
higher-order beam theory
97.
History and Theory
98.
homotopy theory
99.
homotopy type theory
100.
housemoney effect prospect theory
101.
iceberg theory of culture
102.
image theory
103.
information theory
104.
innovation theory
105.
institutional theory
106.
intellectual capital theory
107.
interdependence theory
108.
inverse problem theory/applications
109.
inverse problems theory/applications
110.
job search theory
111.
Lawvere theory
112.
layer-wise displacement theory
113.
linear systems theory
114.
maritime investment theory
115.
mechanism design theory
116.
middle-range theory
117.
modern portfolio theory
118.
network theory
119.
nonlinear shallow water theory
120.
nonlinear shallow-water theory
121.
nonlinear strip theory
122.
nonlinear theory
123.
normal torsion theory
124.
number theory
125.
organization theory
126.
organizational theory
127.
peer‐to‐peer theory
128.
perceived customer value theory
129.
phase field theory
130.
picture theory
131.
protection motivation theory
132.
proto-theory of design
133.
punctuated equilibrium theory
134.
rational choice theory
135.
real options theory
136.
realization theory
137.
reduction theory
138.
refined zigzag theory
139.
regulatory focus theory
140.
sampling theory
141.
scapegoat theory
142.
search and matching theory
143.
self-determination theory
144.
self-determination theory of work motivation
145.
set theory
146.
shallow water theory
147.
shallow‐water theory
148.
sign theory
149.
signalling theory
150.
social identity theory
151.
social practice theory
152.
social presence theory
153.
social representation theory
154.
social system theory
155.
social systems theory
156.
sociological curriculum theory
157.
S-O-R theory
158.
speech-act theory
159.
stakeholder theory
160.
Stakeholder-oriented decision theory
161.
State Theory
162.
stimulus-organism-response theory
163.
stochastic learning theory
164.
strategic narrative theory
165.
strategic narrative theory
166.
Straussian theory model
167.
structuration theory
168.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
169.
switching theory
170.
synchronous reference frame theory
171.
system theory
172.
systems theory
173.
the RAT theory
174.
theory
175.
theory and practice of meta-modelling with application in healthcare
176.
theory of accounting
177.
Theory of computation
178.
Theory Of Constraints (TOC)
179.
theory of economic development
180.
theory of inventive problem solving (TRIZ)
181.
theory of natural disaster
182.
Theory of paradox
183.
theory of planned behavior
184.
theory of planned behaviour
185.
theory of signs
186.
theory of value
187.
ticked cubical type theory
188.
time-dependent density functional theory (TD-DFT)
189.
type theory
190.
unified theory of acceptance and use of technology
191.
value theory
192.
virtual disc theory
193.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT